Projects per year
Fingerprint
Dive into the research topics where Jean Marie Guillaume Gerard de Nivelle is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
Generating Tokenizers with Flat Automata
de Nivelle, H. & Muktubayeva, D., Sept 20 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 370, p. 66-80 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Subsumption algorithms for three-valued geometric resolution
de Nivelle, H., 2018, In: Logical Methods in Computer Science. 14, 4-24, p. 1-29 29 p.Research output: Contribution to journal › Article › peer-review
-
Theorem proving for classical logic with partial functions by reduction to Kleene logic
De Nivelle, H., Mar 2017, In: Journal of Logic and Computation. 27, 2, p. 509-548 40 p.Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus) -
Subsumption algorithms for three-valued geometric resolution
de Nivelle, H., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Verlag, p. 257-272 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
Automated reasoning with analytic tableaux and related methods: 24th International Conference, TABLEAUX 2015 Wrocław, Poland, September 21-24, 2015 proceedings
De Nivelle, H., 2015, Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Proceedings. de Nivelle, H. (ed.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9323).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus)