You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021) (2021)

Editors: Das, Anupam; Negri, Sara
Publisher: Springer
Place of publication: Cham
Series: Lecture Notes in Computer Science 12842
Language: English
ISBN: 978-3-030-86058-5
DOI: doi:10.1007/978-3-030-86059-2

The database contains 1 chapter from this book, with a total of 0 diagrams.: Mendler, Michael, Stephan Scheele, and Luke Burke. 2021. “The Došen Square Under Construction: A Tale of Four Modalities.” (0 diagrams)

Go to source page >>

↑ Back to top ↑