Author of the publication

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.

 

Other publications of authors with the same name

On Equational Theories, Unification, and (Un)Decidability., , and . J. Symb. Comput., 8 (1/2): 3-49 (1989)Natural Expert: A Commercial Functional Programming Environment., , , and . J. Funct. Program., 7 (2): 163-182 (1997)Closures of may-, should- and must-convergences for contextual equivalence., and . Inf. Process. Lett., 110 (6): 232-235 (2010)Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures., , , and . Electr. Notes Theor. Comput. Sci., (2007)Bericht zur 9th Conference on Automated Deduction., and . KI, 2 (4): 18-19 (1988)Unification and matching on compressed terms., , and . ACM Trans. Comput. Log., 12 (4): 26:1-26:37 (2011)Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq., , and . Logical Methods in Computer Science, (2015)Unification in Free Extensions of Boolean Rings and Abelian Groups, , and . LICS, page 121-130. IEEE Computer Society, (1988)Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings., , and . RTA, volume 21 of LIPIcs, page 239-254. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2013)Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi., , and . GI Jahrestagung, volume P-154 of LNI, page 2931-2945. GI, (2009)