[Back]


Contributions to Proceedings:

B. Lellmann, E. Pimentel:
"Proof Search in Nested Sequent Calculi";
accepted for publication in: "Logic for Programming, Artificial Intelligence, and Reasoning", 9450; A. Voronkov et al. (ed.); Springer International Publishing, 2015, ISBN: 978-3-662-48898-0.


Created from the Publication Database of the Vienna University of Technology.