J Kamps, M Marx, RJ Mokken, M De Rijke

Lrec 4, 1115-1118, 2004

M Marx, Y Venema, M Marx, Y Venema

Multi-Dimensional Modal Logic, 1-9, 1997

C Areces, P Blackburn, M Marx

The Journal of Symbolic Logic 66 (3), 977-1010, 2001

E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...

Springer, 2007

J Kuiken, A Schuth, M Spitters, M Marx

Digital Journalism 5 (10), 1300-1314, 2017

J Kamps, M Marx

C Areces, P Blackburn, M Marx

Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999

I Fundulaki, M Marx

Proceedings of the ninth ACM symposium on Access control models and …, 2004

C Areces, P Blackburn, M Marx

Logic Journal of the IGPL 8 (5), 653-679, 2000

M Marx

International Conference on Extending Database Technology, 477-494, 2004

M Marx

ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005

M Marx, M de Rijke

ACM SIGMOD Record 34 (2), 41-46, 2005

E Graedel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...

Finite model theory and its applications, 125-230, 2007

M Marx

Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004

M Marx

University of Amsterdam, 1995

A Schuth, M Marx, M De Rijke

Proceedings of the 9th annual ACM international workshop on Web information …, 2007

S Grijzenhout, M Marx

Proceedings of the 20th ACM international conference on Information and …, 2011

M Marx

Journal of Logic and Computation 9 (2), 197-214, 1999

P Blackburn, M Marx

International Conference on Automated Reasoning with Analytic Tableaux and …, 2002

M Marx, M Reynolds

Journal of Logic and Computation 9 (6), 897-914, 1999