Samuel Balco

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Top Venues

Log. Methods Comput. Sci.

Publications

Samuel Balco, Alexander Kurz
Completeness of Nominal PROPs. Log. Methods Comput. Sci. 19 (1) (2023)
Samuel Balco, Alexander Kurz
Completeness of Nominal PROPs. CoRR (2020)
Samuel Balco, Alexander Kurz
Nominal String Diagrams. CALCO (2019)
Samuel Balco, Alexander Kurz
Nominal String Diagrams. CoRR (2019)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Software Tool Support for Modular Reasoning in Modal Logics of Actions. ITP (2018)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool support for reasoning in display calculi. CoRR (2016)