A distributed Kripke semantics
Bookmark
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.
Related
Connected or similar to A distributed Kripke semantics: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.