( en | de | ru )

 

Disambiguation of "Contejean, Evelyne"

Author of the publication

copydeleteadd this publication to your clipboard
A3PAT, an approach for certified automated termination proofs.

, , , , , and . PEPM, page 63-72. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Evelyne Fischer

Evelyne Keller

Evelyne Pink

Evelyne Mammel

Evelyne Hamacher

 

Other publications of authors with the same name

Solving Linear Diophantine Constraints Incrementally.. ICLP, page 532-549. MIT Press, (1993)AC-Unification of Higher-Order Patterns., and . CP, volume 1330 of Lecture Notes in Computer Science, page 267-281. Springer, (1997)A3PAT, an approach for certified automated termination proofs., , , , , and . PEPM, page 63-72. ACM, (2010)Translating Canonical SQL to Imperative Code in Coq., , , , , , and . CoRR, (2022)Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables., and . UNIF, page 1. (1995)AC-Complete Unification and its Application to Theorem Proving., , and . RTA, volume 1103 of Lecture Notes in Computer Science, page 18-32. Springer, (1996)Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations., and . Theor. Comput. Sci., 173 (1): 183-208 (1997)"Syntactic" AC-Unification., and . CCL, volume 845 of Lecture Notes in Computer Science, page 136-151. Springer, (1994)About the Confluence of Equational Pattern Rewrite Systems., and . CADE, volume 1421 of Lecture Notes in Computer Science, page 88-102. Springer, (1998)Mechanically Proving Termination Using Polynomial Interpretations., , , and . J. Autom. Reason., 34 (4): 325-363 (2005)