Conferences in DBLP
François Bronsard , Uday S. Francois Conditional Rewriting in Focus. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz A Maximal-Literal Unit Strategy for Horn Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Willem Klop , Roel C. de Vrijer Extended Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Kounalis , Michaël Rusinowitch A Proof System for Conditional Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] José Meseguer Conditional Rewriting Logic: Deduction, Models and Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Chilukuri K. Mohan Equivalences of Rewrite Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Chen , Jieh Hsiang , Hwa-Chung Kong On Finite Representations of Infinite Sequences of Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Yiyun Chen , Michael J. O'Donnell Infinite Terms and Infinite Rewritings. [Citation Graph (0, 0)][DBLP ] Conf ] Yiyun Chen , Michael J. O'Donnell Testing Confluence of Nonterminating Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard R. Hodgson , Clement F. Kent A Survey of Ordinal Interpretations of Type epsilon0 for Termination of Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Kirchner , Miki Hermann Meta-rule Synthesis from Crossed Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Siva Anantharaman , Maria Paola Bonacina An Application of Automated Equational Reasoning to Many-valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Harald Ganzinger Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Bertling Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. [Citation Graph (0, 0)][DBLP ] Conf ] Eddy Bevers , Johan Lewi Proof by Consistency in Conditional Equational Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Paola Bonacina , Jieh Hsiang Completion Procedures as Semidecision Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Devie Linear Completion. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nieuwenhuis , Fernando Orejas Clausal Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Franco Barbanera Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved. [Citation Graph (0, 0)][DBLP ] Conf ] Wadoud Bousdira , Jean-Luc Remy On Sufficient Completeness of Conditional Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] N. Lichtenstein , Stéphane Kaplan FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Aart Middeldorp Confluence of the Disjoint Union of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Plump Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hitoshi Aida , Joseph A. Goguen , José Meseguer Compiling Concurrent Rewriting onto the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Antoy Design Strategies for Rewrite Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Louis Galbiati , Carolyn L. Talcott A Simplifier for Untyped Lambda Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Marko C. J. D. van Eekelen , Marinus J. Plasmeijer , J. E. W. Smetsers Parallel Graph Rewriting on Loosely Coupled Machine Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio Typed Equivalence, Type Assignment, and Type Containment. [Citation Graph (0, 0)][DBLP ] Conf ] Martin C. Emele , Rémi Zajac A Fixed-Point Semantics for Feature Type Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John G. Stell Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Sun Equational Logics (Birkhoff's Method Revisited). [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Waldmann Compatibility of Order-Sorted Rewrite Rules. [Citation Graph (0, 0)][DBLP ] Conf ] G. Aguzzi , U. Modigliani , M. Cecilia Verri An Universal Termination Condition for Solving Goals in Equational Languages. [Citation Graph (0, 0)][DBLP ] Conf ] John Darlington , Yike Guo Constrained Equational Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Nipkow Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyu Qian Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Snyder , Christopher Lynch An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality. [Citation Graph (0, 0)][DBLP ] Conf ] 