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 Finished
-
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 AccessFile2 Downloads (Pure) -
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
3 Link opens in a new tab 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 Link opens in a new tab 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 Link opens in a new tab Citations (Scopus)