Evelyne Contejean

Available identifiers

zbMath Open contejean.evelyneMaRDI QIDQ851140

List of research outcomes

Publication	Date of Publication	Type
AC-complete unification and its application to theorem proving	2022-12-09	Paper
“Syntactic” AC-unification	2022-08-16	Paper
A partial solution for D-unification based on a reduction to AC 1-unification	2019-03-29	Paper
Certifying standard and stratified Datalog inference engines in SSReflect	2018-01-04	Paper
Rewrite systems for natural, integral, and rational arithmetic	2017-11-17	Paper
A Coq Formalization of the Relational Data Model	2014-04-16	Paper
\textsf{CC(X)}: semantic combination of congruence closure with solvable theories	2013-12-06	Paper
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation	2012-09-25	Paper
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic	2012-09-05	Paper
Automated certified proofs with CiME3	2012-04-24	Paper
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories	2011-05-19	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Modeling Permutations in Coq for Coccinelle	2009-03-06	Paper
Certification of Automated Termination Proofs	2008-09-16	Paper
Mechanically proving termination using polynomial interpretations	2006-11-17	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2778871	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723893	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4249893	1999-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4246724	1999-07-29	Paper
Avoiding slack variables in the solving of linear diophantine equations and inequations	1998-07-23	Paper
Introducing global constraints in CHIP	1995-04-20	Paper
An efficient incremental algorithm for solving systems of linear diophantine equations	1995-04-02	Paper
Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification	1994-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q3359655	1991-01-01	Paper

Research outcomes over time

This page was built for person: Evelyne Contejean