×

zbMATH — the first resource for mathematics

de Nivelle, Hans

Compute Distance To:
Author ID: de-nivelle.hans Recent zbMATH articles by "de Nivelle, Hans"
Published as: de Nivelle, Hans; de Nivelle, H.; De Nivelle, Hans
Documents Indexed: 34 Publications since 1993, including 2 Books

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 114 times in 75 Documents Cited by Year
Resolution-based methods for modal logics. Zbl 0947.03014
de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich
16
2000
Geometric resolution: a proof procedure based on finite model search. Zbl 1222.68378
de Nivelle, Hans; Meng, Jia
13
2006
Deciding regular grammar logics with converse through first-order logic. Zbl 1083.03023
Demri, Stéphane; de Nivelle, Hans
10
2005
Computing finite models by reduction to function-free clause logic. Zbl 1171.68040
Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans; Tinelli, Cesare
9
2009
Resolution in modal, description and hybrid logic. Zbl 0993.03007
Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans
8
2001
Automated proof construction in type theory using resolution. Zbl 1015.03018
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
8
2002
Resolution games and non-liftable resolution orderings. Zbl 1044.03506
de Nivelle, Hans
6
1995
A resolution decision procedure for the guarded fragment. Zbl 0927.03027
de Nivelle, Hans
5
1998
Splitting through new proposition symbols. Zbl 1275.03083
de Nivelle, Hans
5
2001
Deciding the guarded fragments by resolution. Zbl 1012.03046
de Nivelle, Hans; de Rijke, Maarten
5
2003
A resolution-based decision procedure for the two-variable fragment with equality. Zbl 0988.03023
de Nivelle, Hans; Pratt-Hartmann, Ian
4
2001
A resolution decision procedure for the guarded fragment with transitive guards. Zbl 1126.68569
Kazakov, Yevgeny; de Nivelle, Hans
3
2004
Extraction of proofs from the clausal normal form transformation. Zbl 1020.03009
de Nivelle, Hans
3
2002
Classical logic with partial functions. Zbl 1259.03047
de Nivelle, Hans
2
2011
Automated proof construction in type theory using resolution. Zbl 0963.03010
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
2
2000
Classical logic with partial functions. Zbl 1291.03073
de Nivelle, Hans
2
2010
Translation of resolution proofs into short first-order proofs without choice axioms. Zbl 1081.03014
de Nivelle, Hans
2
2005
Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Zbl 1325.68016
De Nivelle, Hans (ed.)
2
2015
Theorem proving for classical logic with partial functions by reduction to Kleene logic. Zbl 1444.03014
de Nivelle, Hans
2
2017
Prefixed resolution. A resolution method for modal and description logics. Zbl 0937.03014
Areces, Carlos; de Nivelle, Hans; de Rijke, Maarten
1
1999
Generic resolution in propositional modal systems. Zbl 0793.68136
de Nivelle, H.
1
1993
An overview of resolution decision procedures. Zbl 0967.03009
de Nivelle, Hans
1
2000
Translation of resolution proofs into short first-order proofs without choice axioms. Zbl 1278.03032
de Nivelle, Hans
1
2003
Deciding the \(E^+\)-class by an a posteriori, liftable order. Zbl 0966.03012
de Nivelle, Hans
1
2000
Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Zbl 1271.68015
Ahrendt, Wolfgang (ed.); Baumgartner, P. (ed.); de Nivelle, H. (ed.); Ranise, S. (ed.); Tinelli, C. (ed.)
1
2005
Subsumption algorithms for three-valued geometric resolution. Zbl 1405.68317
de Nivelle, Hans
1
2016
Theorem proving for classical logic with partial functions by reduction to Kleene logic. Zbl 1444.03014
de Nivelle, Hans
2
2017
Subsumption algorithms for three-valued geometric resolution. Zbl 1405.68317
de Nivelle, Hans
1
2016
Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Zbl 1325.68016
De Nivelle, Hans
2
2015
Classical logic with partial functions. Zbl 1259.03047
de Nivelle, Hans
2
2011
Classical logic with partial functions. Zbl 1291.03073
de Nivelle, Hans
2
2010
Computing finite models by reduction to function-free clause logic. Zbl 1171.68040
Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans; Tinelli, Cesare
9
2009
Geometric resolution: a proof procedure based on finite model search. Zbl 1222.68378
de Nivelle, Hans; Meng, Jia
13
2006
Deciding regular grammar logics with converse through first-order logic. Zbl 1083.03023
Demri, Stéphane; de Nivelle, Hans
10
2005
Translation of resolution proofs into short first-order proofs without choice axioms. Zbl 1081.03014
de Nivelle, Hans
2
2005
Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Zbl 1271.68015
Ahrendt, Wolfgang; Baumgartner, P.; de Nivelle, H.; Ranise, S.; Tinelli, C.
1
2005
A resolution decision procedure for the guarded fragment with transitive guards. Zbl 1126.68569
Kazakov, Yevgeny; de Nivelle, Hans
3
2004
Deciding the guarded fragments by resolution. Zbl 1012.03046
de Nivelle, Hans; de Rijke, Maarten
5
2003
Translation of resolution proofs into short first-order proofs without choice axioms. Zbl 1278.03032
de Nivelle, Hans
1
2003
Automated proof construction in type theory using resolution. Zbl 1015.03018
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
8
2002
Extraction of proofs from the clausal normal form transformation. Zbl 1020.03009
de Nivelle, Hans
3
2002
Resolution in modal, description and hybrid logic. Zbl 0993.03007
Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans
8
2001
Splitting through new proposition symbols. Zbl 1275.03083
de Nivelle, Hans
5
2001
A resolution-based decision procedure for the two-variable fragment with equality. Zbl 0988.03023
de Nivelle, Hans; Pratt-Hartmann, Ian
4
2001
Resolution-based methods for modal logics. Zbl 0947.03014
de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich
16
2000
Automated proof construction in type theory using resolution. Zbl 0963.03010
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
2
2000
An overview of resolution decision procedures. Zbl 0967.03009
de Nivelle, Hans
1
2000
Deciding the \(E^+\)-class by an a posteriori, liftable order. Zbl 0966.03012
de Nivelle, Hans
1
2000
Prefixed resolution. A resolution method for modal and description logics. Zbl 0937.03014
Areces, Carlos; de Nivelle, Hans; de Rijke, Maarten
1
1999
A resolution decision procedure for the guarded fragment. Zbl 0927.03027
de Nivelle, Hans
5
1998
Resolution games and non-liftable resolution orderings. Zbl 1044.03506
de Nivelle, Hans
6
1995
Generic resolution in propositional modal systems. Zbl 0793.68136
de Nivelle, H.
1
1993
all top 5

Cited by 103 Authors

10 de Nivelle, Hans
7 Paulson, Lawrence Charles
7 Schmidt, Renate A.
6 Hustadt, Ullrich
6 Motik, Boris
5 Nguyen, Linh Anh
4 Blanchette, Jasmin Christian
4 Tinelli, Cesare
3 Baumgartner, Peter
3 Dixon, Clare
3 Fontaine, Pascal
3 Horrocks, Ian
3 Sattler, Ulrike
3 Szałas, Andrzej
2 Areces, Carlos
2 Böhme, Sascha
2 Goré, Rajeev Prabhakar
2 Meng, Jia
2 Merz, Stephan
2 Reynolds, Andrew
2 Weidenbach, Christoph
2 Woltzenlogel Paleo, Bruno
1 Achilleos, Antonis
1 Amjad, Hasan
1 Baader, Franz
1 Barbosa, Haniel
1 Barrett, Clark W.
1 Bauereiß, Thomas
1 Benzmüller, Christoph Ewald
1 Beyersdorff, Olaf
1 Bezem, Marc
1 Bjørner, Nikolaj S.
1 Bolotov, Alexander
1 Braüner, Torben
1 Bridge, James P.
1 Britz, Katarina
1 Cerrito, Serenella
1 Cialdea Mayer, Marta
1 Conchon, Sylvain
1 Cruanes, Simon
1 Cuenca Grau, Bernardo
1 Czajka, Łukasz
1 Danas, Ryan
1 de Moura, Leonardo
1 de Rijke, Maarten
1 Déharbe, David
1 Demri, Stéphane P.
1 Dougherty, Daniel J.
1 Dunin-Kȩplicz, Barbara
1 Dyckhoff, Roy
1 Fernández Gago, M. Carmen
1 Fietzke, Arnaud
1 Fleury, Mathias
1 Fuchs, Alexander
1 Georgieva, Lilia
1 Glimm, Birte
1 Gorín, Daniel
1 Gu, Yilan
1 Heidema, Johannes
1 Hendriks, Dimitri
1 Hermant, Olivier
1 Hillenbrand, Thomas
1 Höfner, Peter
1 Hou, Ping
1 Iancu, Mihnea
1 Kaliszyk, Cezary
1 Kaneiwa, Ken
1 Kazakov, Yevgeny
1 Konev, Boris
1 Korovin, Konstantin
1 Kutz, Oliver
1 Lammich, Peter
1 Leinders, Dirk
1 Lescuyer, Stéphane
1 Liebig, Thorsten
1 Nalon, Cláudia
1 Nguyen, Quang Huy
1 Nipkow, Tobias
1 Papacchini, Fabio
1 Peltier, Nicolas
1 Pelzer, Björn
1 Pérez-Urbina, Héctor
1 Pesenti Gritti, Armando
1 Piskac, Ruzica
1 Popescu, Andrei
1 Quigley, Claire
1 Rabe, Florian
1 Raimondi, Franco
1 Saghafi, Salman
1 Simančík, František
1 Slaney, John K.
1 Soutchanski, Mikhail
1 Steigmiller, Andreas
1 Struth, Georg
1 Sultana, Nik
1 Sutcliffe, Geoff
1 Tishkovsky, Dmitry
1 Van den Bussche, Jan
1 Varzinczak, Ivan Jóse
1 Voigt, Marco
...and 3 more Authors

Citations by Year