Publicações

An Isomorphism Between a Fragment of Sequent Calculus and an Extension of Natural Deduction

AuthID
P-000-RJD

Author(s)

Santo, JE

Editor(es)

Baaz, M; Voronkov, A

Tipo de Documento

Article

Year published

2002

Publicado

in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, ISSN: 0302-9743

Volume: 2514, Páginas: 352-366 (15)

Conference

9Th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Date: OCT 14-18, 2002, Location: TBILISI, REP OF GEORGIA, Host: UNIV TBILISI

Indexing

Wos^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/3-540-36078-6_24

Wos: WOS:000187008200024

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

An Isomorphism Between a Fragment of Sequent Calculus and an Extension of Natural Deduction

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

An Isomorphism Between a Fragment of Sequent Calculus and an Extension of Natural Deduction

Links Úteis

Ajuda