Hans de Nivelle
发表
Ullrich Hustadt,
Hans de Nivelle,
Renate A. Schmidt,
2000,
Log. J. IGPL.
Hans de Nivelle,
H. D. Nivelle,
2005,
Inf. Comput..
Yevgeny Kazakov,
Hans de Nivelle,
2003,
Description Logics.
Maarten de Rijke,
Hans de Nivelle,
Carlos Areces,
1999,
CADE.
Hans de Nivelle,
1994,
CSL.
Cesare Tinelli,
Hans de Nivelle,
Wolfgang Ahrendt,
2005
.
Hans de Nivelle,
2000,
Ann. Pure Appl. Log..
Ruzica Piskac,
Hans de Nivelle,
H. D. Nivelle,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Hans de Nivelle,
Piotr Witkowski,
2008,
PAAR/ESHOL.
Hans de Nivelle,
2011,
Journal of Automated Reasoning.
Hans de Nivelle,
H. D. Nivelle,
2005
.
Hans de Nivelle,
Ian Pratt-Hartmann,
H. D. Nivelle,
2001,
IJCAR.
Maarten de Rijke,
Hans de Nivelle,
2003,
J. Symb. Comput..
Hans de Nivelle,
2004,
Journal of Automated Reasoning.
Hans de Nivelle,
2016,
IJCAR.
Hans de Nivelle,
1993,
LPAR.
Peter Baumgartner,
Cesare Tinelli,
Alexander Fuchs,
2009,
J. Appl. Log..
Hans de Nivelle,
Stephan A. Schulz,
S. Schulz,
2001
.
Hans de Nivelle,
2002,
CSL.
Hans de Nivelle,
Marc Bezem,
Dimitri Hendriks,
2000,
CADE.
Cees Witteveen,
Wiebe van der Hoek,
Hans de Nivelle,
1994,
JELIA.
Hans de Nivelle,
Jia Meng,
2006,
IJCAR.
Stéphane Demri,
Hans de Nivelle,
Patrick Blackburn,
2003
.
Harald Ganzinger,
Hans de Nivelle,
H. Ganzinger,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Hans de Nivelle,
2001,
LPAR.
Hans de Nivelle,
H. D. Nivelle,
1994,
JELIA.
Hans de Nivelle,
2000
.
Hans de Nivelle,
Marc Bezem,
Dimitri Hendriks,
2000,
Journal of Automated Reasoning.
Hans de Nivelle,
2003,
CADE.
Hans de Nivelle,
1997,
CADE.
Hans de Nivelle,
2010,
IJCAR.
Hans de Nivelle,
1996,
JELIA.
Peter Baumgartner,
Cesare Tinelli,
Hans de Nivelle,
2005,
Electron. Notes Theor. Comput. Sci..
Maarten de Rijke,
Hans de Nivelle,
Carlos Areces,
2001,
J. Log. Comput..
Hans de Nivelle,
1998
.
Hans de Nivelle,
2014,
ARQNL@IJCAR.
Hans de Nivelle,
H. D. Nivelle,
2017,
J. Log. Comput..
Hans de Nivelle,
H. D. Nivelle,
1998,
CADE.
Stéphane Demri,
Hans de Nivelle,
H. D. Nivelle,
2003,
J. Log. Lang. Inf..
Hans de Nivelle,
1998,
J. Log. Lang. Inf..
Yevgeny Kazakov,
Hans de Nivelle,
H. D. Nivelle,
2003
.
Johan Bos,
Hans de Nivelle,
Michael Kohlhase,
1998
.