Publications

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

AuthID
P-000-RJD

Author(s)

Santo, JE

Editor(s)

Baaz, M; Voronkov, A

Document Type

Article

Year published

2002

Published

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

Volume: 2514, Pages: 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
Sources

Publication Identifiers

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

Wos: WOS:000187008200024

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help