Proof Search in Nested Sequent Calculi

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Björn Lellmann, Elaine Pimentel

Journal title: Logic for Programming, Artificial Intelligence, and Reasoning

Journal publisher: Springer Berlin Heidelberg

Published year: 2015

Published pages: 558-574

DOI identifier: 10.1007/978-3-662-48899-7_39

ISBN: 978-3-662-48899-7