STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Stéphane Demri | lit.salon
Stéphane Demri
No bio available.
Add one in Open Library.
Books by Stéphane Demri (50 max)
+ shelf
+ list
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
2014
Stéphane Demri, Deepak Kapur, Christoph Weidenbach
+ shelf
+ list
Temporal Logics in Computer Science Finite-State Systems
2016
Stéphane Demri, Valentin Goranko, Martin Lange
+ shelf
+ list
Temporal Logics in Computer Science - Classical Theory
2016
Stéphane Demri, Valentin Goranko, Martin Lange
