A Verified Proof Checker for Metric First-Order Temporal Logic

From MaRDI portal


MaRDI QIDQ7361405FDO


Authors Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel

Publication date 16 April 2024



Cites work





This page was built for software: A Verified Proof Checker for Metric First-Order Temporal Logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Verified_Proof_Checker_for_Metric_First-Order_Temporal_Logic&oldid=105365693"
Powered by MediaWiki