Conferences in DBLP
Richard Kennaway , Jan Willem Klop , M. Ronan Sleep , Fer-Jan de Vries Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:1-12 [Conf ] William M. Farmer , Ronald J. Watro Redex Capturing in Term Graph Rewriting (Concise Version). [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:13-24 [Conf ] David A. Wolfram Rewriting, and Equational Unification: the Higher-Order Cases. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:25-36 [Conf ] Daniel J. Dougherty Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:37-48 [Conf ] Frank Drewes , Clemens Lautemann Incremental Termination Proofs and the Length of Derivations. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:49-61 [Conf ] Dieter Hofbauer Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:62-73 [Conf ] Stefan Krischer , Alexander Bockmayr Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:74-85 [Conf ] Franz Baader Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:86-97 [Conf ] Eric Domenjoud AC Unification Through Order-Sorted AC1 Unification. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:98-111 [Conf ] Jacques Chabin , Pierre Réty Narrowing Directed by a Graph of Terms. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:112-123 [Conf ] Franz Baader , Werner Nutt Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:124-135 [Conf ] Francis Klay Undecidable Properties of Syntactic Theories. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:136-149 [Conf ] Wayne Snyder , Christopher Lynch Goal Directed Strategies for Paramodulation. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:150-161 [Conf ] Loic Pottier Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:162-173 [Conf ] Hélène Kirchner Proofs in Parameterized Specification. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:174-187 [Conf ] Aart Middeldorp , Yoshihito Toyama Completeness of Combinations of Constructor Systems. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:188-199 [Conf ] Tobias Nipkow , Zhenyu Qian Modular Higher-Order E -Unification. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:200-214 [Conf ] Pierre-Louis Curien , Giorgio Ghelli On Confluence for Weakly Normalizing Systems. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:215-225 [Conf ] Françoise Bellegarde Program Transformation and Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:226-239 [Conf ] Dave Cohen , Phil Watson An Efficient Representation of Arithmetic for Term Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:240-251 [Conf ] Sieger van Denneheuvel , Karen L. Kwast , Gerard R. Renardel de Lavalette , Edith Spaan Query Optimization Using Rewrite Rules. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:252-263 [Conf ] Rolf Socher-Ambrosius Boolean Algebra Admits No Convergent Term Rewriting System. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:264-274 [Conf ] Kai Salomaa Decidability of Confluence and Termination of Monadic Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:275-286 [Conf ] Jean-Luc Coquidé , Max Dauchet , Rémi Gilleron , Sándor Vágvölgyi Bottom-Up Tree Pushdown Automata and Rewrite Systems. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:287-298 [Conf ] Gregory Kucherov On Relationship Between Term Rewriting Systems and Regular Tree Languages. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:299-311 [Conf ] Franz-Josef Brandenburg The Equivalence of Boundary and Confluent Graph Grammars on Graph Languages of Bounded Degree. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:312-322 [Conf ] Albert Gräf Left-to-Right Tree Pattern Matching. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:323-334 [Conf ] R. Ramesh , I. V. Ramakrishnan Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:335-347 [Conf ] Maria Paola Bonacina , Jieh Hsiang On Fairness of Completion-Based Theorem Proving Strategies. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:348-360 [Conf ] Jürgen Avenhaus Proving Equational and Inductive Theorems by Completion and Embedding Techniques. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:361-373 [Conf ] Andrea Sattler-Klein Divergence Phenomena during Completion. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:374-385 [Conf ] Reinhard Bündgen Simulation Buchberger's Algorithm by Knuth-Bendix Completion. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:386-397 [Conf ] Miki Hermann On Proving Properties of Completion Strategies. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:398-410 [Conf ] Claude Marché On Ground AC-Completion. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:411-422 [Conf ] Paliath Narendran , Michaël Rusinowitch Any Gound Associative-Commutative Theory Has a Finite Canonical System. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:423-434 [Conf ] Ulrich Fraus A Narrowing-Based Theorem Prover. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:435-436 [Conf ] Michel Billaud ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:437-438 [Conf ] Aline Deruyver EMMY: A Refutational Theorem Prover for First-Order Logic with Equation. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:439-441 [Conf ] Raj Agarwal , David R. Musser , Deepak Kapur , Xumin Nie The Tecton Proof System. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:442-444 [Conf ] Nachum Dershowitz , Jean-Pierre Jouannaud , Jan Willem Klop Open Problems in Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:445-456 [Conf ]