Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory

Summary

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: Abhishek De, Alexis Saurin

Journal title: Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Journal number: 11714

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 297-316

DOI identifier: 10.1007/978-3-030-29026-9_17

ISBN: 978-3-030-29025-2