Samuel Balco

According to our database, Samuel Balco authored at least 4 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Completeness of Nominal PROPs.

Samuel Balco, Alexander Kurz

Log. Methods Comput. Sci., 2023

2019

Nominal String Diagrams.

Samuel Balco, Alexander Kurz

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Software Tool Support for Modular Reasoning in Modal Logics of Actions.

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2016

Tool support for reasoning in display calculi.

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

CoRR, 2016