An Algebraic Generalization of Kripke Structures

AuthID
P-00H-H36
2
Author(s)
Document Type
Article
Year published
2008
Published
in Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, ISSN: 0305-0041
Volume: 145, Issue: 03, Pages: 549
Indexing
Publication Identifiers
Source Identifiers
ISSN: 0305-0041
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.