Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Philosophical logic / Modal logic / Model checking / Denotational semantics / Peter Mosses / Temporal logic / Mereology / Theoretical computer science / Mathematical logic / Logic


BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory
Add to Reading List

Document Date: 2003-12-10 05:30:33


Open Document

File Size: 2,29 MB

Share Result on Facebook
UPDATE