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
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
https://portal.mardi4nfdi.de/entity/Q5389068	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Evelyne Contejean