maarten marx

发表

Maarten Marx, Mark Reynolds, maarten marx, 1999, J. Log. Comput..
maarten marx, M. Masuch, L. Pólos, 1997 .
Maarten Marx, Patrick Blackburn, Carlos Areces, 2001, Journal of Symbolic Logic.
maarten marx, B. T. Cate, J. P. Viana, 2004 .
maarten marx, D. Gabelaia, K. Gogoladze, 2018, 1807.02868.
Maarten Marx, Patrick Blackburn, Carlos Areces, 2000, Log. J. IGPL.
maarten marx, I. Németi, S. Mikulás, 1997 .
Maarten Marx, maarten marx, 1998, The Journal of Symbolic Logic.
maarten marx, 2000, Algebra Universalis.
Maarten Marx, Ulrich Mebold, John M. Dickey, 1997 .
Maarten Marx, Gilles de Hollander, maarten marx, 2011, 2011 CSI International Symposium on Computer Science and Software Engineering (CSSE).
maarten marx, Roan Schellingerhout, Volodymyr Medentsiy, 2022 .
maarten marx, P. Blackburn, C. Areces, 2000, Log. J. IGPL.
Maarten Marx, Patrick Blackburn, Carlos Areces, 1999, CSL.
Maarten Marx, Rianne Kaptein, maarten marx, 2010, Information Retrieval.
Maarten Marx, maarten marx, 2009, J. Digit. Inf..
Maarten Marx, maarten marx, 2009, Reasoning Web.
Maarten Marx, Tim Gielissen, maarten marx, 2009 .
Maarten Marx, Robert J. Mokken, R. J. Mokken, 2015, Social Network Analysis and Mining.
maarten marx, H. Tscherne, H. Oestern, 1989, Archives of Orthopaedic and Trauma Surgery.
M. de Rijke, Maarten de Rijke, Maarten Marx, 2006, TOIS.
M. de Rijke, Maarten de Rijke, Maarten Marx, 2005, CIKM '05.
M. de Rijke, Maarten de Rijke, Maarten Marx, 2005 .
M. de Rijke, Maarten Marx, Jaap Kamps, 2005 .
M. de Rijke, Maarten de Rijke, Maarten Marx, 2004, WebDB '04.
Maarten Marx, maarten marx, 2005, TODS.
Maarten Marx, Jaap Kamps, Patrick Blackburn, 2001, EPIA.
Maarten Marx, Yde Venema, maarten marx, 1997 .
M. de Rijke, Maarten de Rijke, Maarten Marx, 2017, ECIR.
R. S. Tobin, maarten marx, S. A. Willson, 1987, European journal of radiology.
Balder ten Cate, Maarten Marx, maarten marx, 2007, Theory of Computing Systems.
Maarten Marx, maarten marx, 2004, PODS.
Evgeny Sherkhonov, Maarten Marx, maarten marx, 2017, Inf. Process. Lett..
Evgeny Sherkhonov, Maarten Marx, maarten marx, 2016, Inf. Syst..
Maarten Marx, M. Pannevis, maarten marx, 2008 .
Maarten Marx, Frank Neven, Wim Martens, 2011, SGMD.
M. de Rijke, Maarten de Rijke, Maarten Marx, 2002, INEX Workshop.
Maarten Marx, Jenny Heddes, Pim Meerdink, 2021, Data.
Maarten Marx, Lars Buitinck, Johan van Doornik, 2014, Digit. Humanit. Q..
Andrew Trotman, Gabriella Kazai, Maarten Marx, 2012, SIGF.
Andrew Trotman, Gabriella Kazai, Maarten Marx, 2012, SIGF.
Maarten Marx, Joel H. Spencer, Phokion G. Kolaitis, 2007, Texts in Theoretical Computer Science. An EATCS Series.
Maarten Marx, Steven Grijzenhout, maarten marx, 2011, CIKM '11.
Maarten Marx, Anne Schuth, Anne Schuth, 2010, LREC.
Maarten Marx, Jaap Kamps, Alex Olieman, 2017, ICTIR.
E. Goris, M. Marx, maarten marx, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
M. de Rijke, Maarten de Rijke, Loredana Afanasiev, 2005, J. Appl. Non Class. Logics.
Maarten Marx, Tim Gielissen, maarten marx, 2009, AND '09.
Maarten Marx, maarten marx, 1999, AMAST.
Maarten Marx, Jaap Kamps, Mostafa Dehghani, 2015, ECIR.
Maarten Marx, Irini Fundulaki, maarten marx, 2003, SWDB.
Maarten Marx, Balder ten Cate, maarten marx, 2007, SGMD.
M. de Rijke, Maarten de Rijke, Maarten Marx, 2005, SGMD.
Evgeny Sherkhonov, Maarten Marx, Alessandro Facchini, 2015, Log. Methods Comput. Sci..
Maarten Marx, Balder ten Cate, Tadeusz Litak, 2010, J. Appl. Log..
Maarten Marx, Patrick Blackburn, maarten marx, 2003, Journal of Symbolic Logic.
Maarten Marx, Patrick Blackburn, Bertrand Gaiffe, 2003 .
Maarten Marx, maarten marx, 2007, Handbook of Modal Logic.
Maarten Marx, maarten marx, 2003, TABLEAUX.
Willem Conradie, Maarten Marx, Balder ten Cate, 2006, KR.
Maarten Marx, Patrick Blackburn, Carlos Areces, 2003, Ann. Pure Appl. Log..
Maarten Marx, maarten marx, 1999, J. Log. Comput..
Maarten Marx, Carlos Areces, maarten marx, 1997, Notre Dame J. Formal Log..
Maarten Marx, Patrick Blackburn, maarten marx, 2002, TABLEAUX.
Maarten Marx, Anne Schuth, Nelleke Aders, 2010, DG.O.
Maarten Marx, Eva Hoogland, maarten marx, 2002, Stud Logica.
Maarten Marx, maarten marx, 2001, J. Log. Lang. Inf..
Maarten Marx, Martin Otto, Eva Hoogland, 1999, LPAR.
Maarten Marx, maarten marx, 2004, EDBT.
Valentin Jijkoun, Maarten Marx, Steven Grijzenhout, 2014 .
Maarten Marx, Balder ten Cate, Petrucio Viana, 2005, Log. J. IGPL.
Maarten Marx, Jaap Kamps, Mostafa Dehghani, 2016, ICTIR.
M. de Rijke, V. B. Zhizhkun, V. Jijkoun, 2006 .
Maarten Marx, Anne Schuth, Anne Schuth, 2011, INEX.
J. Kamps, maarten marx, Patri k Bla kburn, 2001 .
Djoerd Hiemstra, Maarten Marx, Jaap Kamps, 2016, CIKM.
R. J. Mokken, maarten marx, S. Laan, 2015, Social Network Analysis and Mining.
Maarten Marx, Irini Fundulaki, maarten marx, 2004, SACMAT '04.
M. de Rijke, Maarten de Rijke, Maarten Marx, 2004, SEMWEB.
Rainer Killinger, Hans-Peter Harmann, Ralf Kukies, 2000 .
Maarten Marx, Yde Venema, maarten marx, 1997, Applied logic series.
Maarten Marx, Szabolcs Mikulás, Mark Reynolds, 2000, TABLEAUX.
Maarten Marx, Szabolcs Mikulás, maarten marx, 2002, Stud Logica.
Maarten Marx, Patrick Blackburn, Carlos Areces, 2003 .
Maarten Marx, Patrick Blackburn, Carlos Areces, 2003, Description Logics.
Valentin Jijkoun, M. de Rijke, Maarten de Rijke, 2008, AND '08.
Maarten Marx, Eva Hoogland, maarten marx, 2000 .
Maarten Marx, maarten marx, 2001, J. Log. Comput..
Maarten Marx, maarten marx, 2007, PODS.
Maarten Marx, maarten marx, 1999 .
Valentin Jijkoun, Maarten Marx, Steven Grijzenhout, 2010 .
Loredana Afanasiev, Torsten Grust, Maarten Marx, 2009, EDBT '09.
Loredana Afanasiev, Maarten Marx, L. Afanasiev, 2006, ExpDB.
M. de Rijke, Maarten de Rijke, Loredana Afanasiev, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..
Maarten Marx, maarten marx, 2005, ICDT.
Maarten Marx, Jaap Kamps, J. Kamps, 2002, SEMWEB.
Loredana Afanasiev, Torsten Grust, Maarten Marx, 2007, 2008 IEEE 24th International Conference on Data Engineering.
Maarten Marx, Maria-Hendrike Peetz, maarten marx, 2010, WebDB '10.