Automated Proof Support for Interval Logics

DOI10.1007/3-540-45653-8_22zbMath1275.68129OpenAlexW1521749785MaRDI QIDQ2996173

Thomas Marthedal Rasmussen

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_22

Mathematics Subject Classification ID

Temporal logic (03B44)

Uses Software

• Unnamed Item

This page was built for publication: Automated Proof Support for Interval Logics