PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ringeissen, Christophe"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.

, , and . FroCoS, volume 3717 of Lecture Notes in Computer Science, page 48-64. Springer, (2005)

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.

Christophe Maufroy University of Stuttgart

 

Other publications of authors with the same name

Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories.. Inf. Comput., 126 (2): 144-160 (1996)A rule-based system for automatic decidability and combinability., , , and . Sci. Comput. Program., (2015)Unions of non-disjoint theories and combinations of satisfiability procedures., and . Theor. Comput. Sci., 290 (1): 291-353 (2003)Cooperation of Decision Procedures for the Satisfiability Problem.. FroCoS, page 121-139. (1996)Higher-Order Equational Unification via Explicit Substitutions., and . ALP/HOA, volume 1298 of Lecture Notes in Computer Science, page 61-75. Springer, (1997)Rewriting with Strategies in ELAN: A Functional Semantics., , , and . Int. J. Found. Comput. Sci., 12 (1): 69-95 (2001)Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn., , and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 372-386. Springer, (2004)Theory Combination: Beyond Equality Sharing., , , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 57-89. Springer, (2019)Unification and Matching in Hierarchical Combinations of Syntactic Theories., , , , and . FroCos, volume 9322 of Lecture Notes in Computer Science, page 291-306. Springer, (2015)Handling ELAN rewrite programs via an exchange format., , , and . Electr. Notes Theor. Comput. Sci., (1998)