A focused sequent calculus for higher-order logic
Paper i proceeding, 2014
Författare
Fredrik Lindblad
Chalmers, Data- och informationsteknik, Datavetenskap
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8562 LNAI 61-759783319085869 (ISBN)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-319-08587-6_5
ISBN
9783319085869