Academic Journal
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 |
καταχωρήστε σχόλιο πρώτοι!