First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Συγγραφείς:	Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana
Πηγή:	ACM Transactions on Computational Logic. 25(2):1-43
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3651161
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	15293785 1557945X
DOI:	10.1145/3651161