Stéphane Demri
Identifiers
- Open LibraryOL9449931A
Top Subjects
- Computer science (2)
- Logic (1)
Books by Stéphane Demri
Total count: 3
-
Automated Reasoning7th International Joint Conference, IJCAR 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ProceedingsSpringer2014-01-01
-
Temporal Logics in Computer ScienceFinite-State SystemsCambridge University Press2016-01-01
-
Temporal Logics in Computer Science - Classical TheoryCambridge University Press2016-01-01