Publication:5018490
From MaRDI portal
zbMath1486.03026arXiv1904.06850MaRDI QIDQ5018490
Carlos Olarte, Elaine Pimentel, Giselle Reis, V. C. V. de Paiva
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1904.06850
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B35: Mechanization of proofs and logical operations
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B20: Subsystems of classical logic (including intuitionistic logic)
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software