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

AuthID
P-00K-4G3
1
Author(s)
1
Editor(s)
Voronkov A.Baaz M.
Document Type
Proceedings Paper
Year published
2002
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 2514, Pages: 352-366
Conference
9Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lpar 2002, Date: 14 October 2002 through 18 October 2002
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84954422866
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.