A distributed Kripke semantics :: Rohit Chadha :: Department of Informatics, University of Sussex 2004 :: OBNB, the Open British National Bibliography

Publication Data

Title A distributed Kripke semantics
Author Rohit Chadha
Contributors Damiano Macedonio, Vladimiro Sassone, Vladimiro Sassone, Vladimiro Sassone
Publisher Department of Informatics, University of Sussex
Publication date 2004
Publication location Brighton
Language English

Descriptive Notes

"Computer Science technical report 04/2004".

Topics

Computer logic
Information theory in mathematics
Programming (Mathematics)

Catalogue Data

OBNB ID GBA748757
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 32 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

A distributed Kripke semantics by Rohit Chadha. Published by Department of Informatics, University of Sussex in 2004. Publication and catalogue information, links to buy online and reader comments.