Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
Acclavio, Matteo and Horne, Ross and Mauw, Sjouke and Straßburger, Lutz; Felty, Amy P., ed. (2022) A graphical proof theory of logical time. In: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, ISR, 22:1-22:25. ISBN 9783959772334