Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nachum Dershowitz, Naomi Lindenstrauss (eds.) |
Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings |
CTRS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bockmayr, Andreas Werner 0001 |
LSE Narrowing for Decreasing Conditional Term Rewrite Systems. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
Hierachical Termination. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Richard Kennaway |
A Conflict Between Call-by-Need Computation and Parallelism. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
Equation Solving in Geometrical Theories. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Toby Walsh |
A Calculus for Rippling. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Claus-Peter Wirth, Klaus Becker 0002 |
Abstract Notions and Inference Systems for Proofs by Mathematical Induction. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jan C. Verheul, Peter G. Kluit |
The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
On Termination and Confluence of Conditional Rewrite Systems. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Kucherov, Michaël Rusinowitch |
The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John R. W. Glauert, Zurab Khasidashvili |
Relative Normalization in Orthogonal Expression Reduction Systems. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Claus Hintermeier |
How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Enno Ohlebusch |
Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Gélis |
A New Characterisation of AC-Termination and Application. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud, Walid Sadfi |
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Maria C. F. Ferreira, Hans Zantema |
Well-foundedness of Term Orderings. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger |
Associative-Commutative Superposition. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Charles Hoot |
Termination for Restricted Derivations and Conditional Rewrite Systems. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihito Toyama, Michio Oyamaguchi |
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi |
Rewriting for Preorder Relations. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen |
Preserving Confluence for Rewrite Systems with Built-in Operations. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Akira Mori, Yoshihiro Matsumoto |
Coherence for Cartesian Closed Categories: A Sequential Approach. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Rusinowitch, Jean-Luc Rémy (eds.) |
Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings |
CTRS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Pacholski |
Decidability of finiteness properties (Abstract). |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Karel Stokkermans |
A Categorical Formulation for Critical-Pair/Completion Procedures. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Becker 0002 |
Semantics for Positive/Negative Conditional Rewrite Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
Type Removal in Term Rewriting. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wenchang Fang, Jung-Hong Kao |
Set-Of-Support Strategy for Higher-Order Logic. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lars With |
Completeness and Confluence of Order-Sorted Term Rewriting. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee |
Conditional Term Rewriting and First-Order Theorem Proving. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke |
Algebraic Semantics of Rewriting Terms and Types. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Charles Hoot |
Completion for Constrained Term Rewriting Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Subrata Mitra |
Path Orderings for Termination of Associative-Commutative Rewriting. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Plump |
Collapsed Tree Rewriting: Completeness, Confluence, and Modularity. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp |
Completeness of Combinations of Conditional Constructor Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Normalization by Leftmost Innermost Rewriting. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bockmayr, Stefan Krischer, Andreas Werner 0001 |
An Optimal Narrowing Strategy for General Canonical Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Enno Ohlebusch |
Combinations of Simplifying Conditional Term Rewriting Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yabo Wang, David Lorge Parnas |
Trace Rewriting Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Simple Type Inference for Term Graph Rewriting Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, Jürgen Stuber |
Inductive Theorem Proving by Consistency for First-Order Clauses. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
Termination of Term Rewriting by Interpretation. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hantao Zhang 0001 |
Proving Group Isomorphism Theorems (Extended Abstract). |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, Uwe Waldmann |
Termination Proofs of Well-Moded Logic Programs via Conditional Rewrite Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kahrs |
Context Rewriting. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Akihiko Takano |
Generalized Partial Computation using Disunification to Solve Constraints. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Loría-Sáenz, Joachim Steinbach |
Termination of Combined (Rewrite and lambda-Calculus) Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kristoffer Høgsbro Rose |
Explicit Cyclic Substitutions. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Claus-Peter Wirth, Bernhard Gramlich |
A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Hofbauer, Maria Huber |
Computing Linearizations Using Test Sets. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Staffan Bonnier, Jonas Wallgren |
Logic Programs with Polymorphic Types: A condition for static type checking. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sergei G. Vorobyov |
Could Orders Be Captured By Term Rewriting Systems? |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Kucherov, Mohamed Tajine |
Decidability of Regularity and Related Properties of Ground Normal Form Languages. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Padawitz |
Generic Induction Proofs. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | François Bronsard, Uday S. Reddy |
Reduction Techniques for First-Order Reasoning. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hantao Zhang 0001 |
Implementing Contextual Rewriting. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Valentin M. Antimirov, Anatoli Degtyarev |
Consistency and Semantics of Equational Definitions over Predefined Algebras. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi, Monica Nesi |
A Strategy to Deal with Divergent Rewrite Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Junnosuke Yamada |
Confluence of Terminating Membership Conditional TRS. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Delsart |
A New Approach to General E-Unification Based on Conditional Rewriting Systems. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fraus |
A Calculus for Conditional Inductive Theorem Proving. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
Semigroups Satisfying xm+n = xn. |
CTRS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Kaplan, Mitsuhiro Okada (eds.) |
Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings |
CTRS |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Aida, Joseph A. Goguen, José Meseguer 0001 |
Compiling Concurrent Rewriting onto the Rewrite Rule Machine. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Kounalis, Michaël Rusinowitch |
A Proof System for Conditional Algebraic Specifications. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yiyun Chen, Michael J. O'Donnell |
Testing Confluence of Nonterminating Rewriting Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Plump |
Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
A Maximal-Literal Unit Strategy for Horn Clauses. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Siva Anantharaman, Maria Paola Bonacina |
An Application of Automated Equational Reasoning to Many-valued Logic. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | N. Lichtenstein, Stéphane Kaplan |
FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Devie |
Linear Completion. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyu Qian |
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | John G. Stell |
Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Louis Galbiati, Carolyn L. Talcott |
A Simplifier for Untyped Lambda Expressions. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract). |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Bernard R. Hodgson, Clement F. Kent |
A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Design Strategies for Rewrite Rules. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp |
Confluence of the Disjoint Union of Conditional Term Rewriting Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Robert Nieuwenhuis, Fernando Orejas |
Clausal Rewriting. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera |
Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Wadoud Bousdira, Jean-Luc Rémy |
On Sufficient Completeness of Conditional Specifications. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | François Bronsard, Uday S. Francois |
Conditional Rewriting in Focus. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Waldmann |
Compatibility of Order-Sorted Rewrite Rules. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yong Sun |
Equational Logics (Birkhoff's Method Revisited). |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger |
Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract). |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gianni Aguzzi, U. Modigliani, M. Cecilia Verri |
An Universal Termination Condition for Solving Goals in Equational Languages. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Eddy Bevers, Johan Lewi |
Proof by Consistency in Conditional Equational Theories. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hong Chen, Jieh Hsiang, Hwa-Chung Kong |
On Finite Representations of Infinite Sequences of Terms. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Bertling |
Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Yike Guo |
Constrained Equational Deduction. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers |
Parallel Graph Rewriting on Loosely Coupled Machine Architectures. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner, Miki Hermann |
Meta-rule Synthesis from Crossed Rewrite Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Chilukuri K. Mohan |
Equivalences of Rewrite Programs. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Emele, Rémi Zajac |
A Fixed-Point Semantics for Feature Type Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Jieh Hsiang |
Completion Procedures as Semidecision Procedures. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio |
Typed Equivalence, Type Assignment, and Type Containment. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yiyun Chen, Michael J. O'Donnell |
Infinite Terms and Infinite Rewritings. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jan Willem Klop, Roel C. de Vrijer |
Extended Term Rewriting Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|