A distributed Kripke semantics
ShareCopied to clipboardA distributed Kripke semantics is a book. It was written by Rohit Chadha and published by Department of Informatics, University of Sussex in 2004.
Key facts
- author: Rohit Chadha
- publication date: 2004
- book publisher: Department of Informatics, University of Sussex
- book series: Report
- book subjects: Computer logic, Information theory in mathematics, Programming (Mathematics)
See more factsExtract data
Download datasets about A distributed Kripke semantics:
Dataset of books series that contain A distributed Kripke semantics:
Dataset of book subjects that contain A distributed Kripke semantics:
"A distributed Kripke semantics" is one of the books by Rohit Chadha, books by Department of Informatics, University of Sussex and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.