Author of the publication

Confluence Competition 2018.

, , , , , , , and . FSCD, volume 108 of LIPIcs, page 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

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

Universal Algebra for Termination of Higher-Order Rewriting.. RTA, volume 3467 of Lecture Notes in Computer Science, page 135-149. Springer, (2005)Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language.. J. Funct. Log. Program., (1997)Bidirectionalization transformation based on automatic derivation of view complement functions., , , , and . ICFP, page 47-58. ACM, (2007)Confluence Competition 2018., , , , , , , and . FSCD, volume 108 of LIPIcs, page 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Initial Algebra Semantics for Cyclic Sharing Tree Structures. Logical Methods in Computer Science, (2010)Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation.. FLOPS, volume 10818 of Lecture Notes in Computer Science, page 99-115. Springer, (2018)Free S-Monoids: A Higher-Order Syntax with Metavariables.. APLAS, volume 3302 of Lecture Notes in Computer Science, page 348-363. Springer, (2004)Initial Algebra Semantics for Cyclic Sharing Structures.. TLCA, volume 5608 of Lecture Notes in Computer Science, page 127-141. Springer, (2009)Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic., and . LICS, page 520-529. IEEE Computer Society, (2013)Higher-order semantic labelling for inductive datatype systems.. PPDP, page 97-108. ACM, (2007)