Marx, Maarten
Marx, Maarten (Maarten Johannes)
Marx, Maarten, 19..-....
Marx, Maarten Johannes.
Marx, M.
Maarten Marx researcher ORCID ID = 0000-0003-3255-3729
VIAF ID: 17376285 ( Personal )
Permalink: http://viaf.org/viaf/17376285
Preferred Forms
- 100 0 _ ‡a Maarten Marx ‡c researcher ORCID ID = 0000-0003-3255-3729
- 200 _ | ‡a Marx ‡b Maarten
- 100 1 _ ‡a Marx, M.
- 100 1 _ ‡a Marx, Maarten
-
-
- 100 1 _ ‡a Marx, Maarten
-
-
-
- 100 1 _ ‡a Marx, Maarten, ‡d 19..-....
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Algebraic relativization and arrow logic | |
Finite model theory and its applications | |
Hybrid logics : characterization, interpolation and complexity | |
A modal logic of relations | |
The mosaic method for temporal logics | |
Multi-dimensional modal logic | |
Taming arrow logic | |
Tolerance logic | |
Two-dimensional labelled deduction | |
Undecidability of compass logic |