Reynolds, M.C. (Mark C.)
VIAF ID: 311149550 ( Personal )
Permalink: http://viaf.org/viaf/311149550
Preferred Forms
Works
Title | Sources |
---|---|
Advances in modal logic. | |
Collected papers | |
The mosaic method for temporal logics | |
Science, computers, and people : from the tree of mathematics | |
Temporal logic : mathematical foundations and computational aspects | |
Undecidability of compass logic |