Proof Search In Classical Propositional Logic With Partial Proof Terms

AuthID
P-019-V3F
2
Author(s)
Sousa, AC
2
Editor(s)
Kozen,,D;de Queiroz,,R
Document Type
Proceedings Paper
Year published
2026
Published
in Lecture Notes in Computer Science, ISSN: 16113349; 03029743
Volume: 15942 LNCS, Pages: 293-308
Conference
31St Workshop on Logic, Language, Information and Computation, Wollic 2025, Location: Porto
Indexing
Publication Identifiers
Scopus: 2-s2.0-105013021953
Source Identifiers
ISSN: 16113349; 03029743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.