Conceptio
›
Archive
›
PhilArchive
PhilArchive
open access
Model-checking CTL* over flat Presburger counter systems
Demri, Stéphane et al.
PhilArchive · Papers · License: Open Access
Open Source ↗
philosophy
Philosophy
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Probabilistic Proofs, Lottery Propositions, and Mathematical Knowledge
#738729
Religion and the Problem of Subjectivity in the reception of Early German Romanticism
#738730
Romantic Religion: Dissolution and Transcendence in the Poetics of Hölderlin
#738731
Theology and Ecology in a Time of Pandemic
#738732
The Aesthetic Foundations of Romantic Mythology: Karl Philipp Moritz
#738733
Record
· ID 719395
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.