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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![Springer, 3-540-60381-6 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bockmayr, Andreas Werner 0001 |
LSE Narrowing for Decreasing Conditional Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 51-70, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
Hierachical Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 89-105, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Richard Kennaway |
A Conflict Between Call-by-Need Computation and Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 247-261, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
Equation Solving in Geometrical Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 31-50, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Toby Walsh |
A Calculus for Rippling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 15-30, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Claus-Peter Wirth, Klaus Becker 0002 |
Abstract Notions and Inference Systems for Proofs by Mathematical Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 353-373, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jan C. Verheul, Peter G. Kluit |
The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 332-352, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
On Termination and Confluence of Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 166-185, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Kucherov, Michaël Rusinowitch |
The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 262-275, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John R. W. Glauert, Zurab Khasidashvili |
Relative Normalization in Orthogonal Expression Reduction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 144-165, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Claus Hintermeier |
How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 186-205, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Enno Ohlebusch |
Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 296-315, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Gélis |
A New Characterisation of AC-Termination and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 124-143, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud, Walid Sadfi |
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 235-246, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Maria C. F. Ferreira, Hans Zantema |
Well-foundedness of Term Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 106-123, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger |
Associative-Commutative Superposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 1-14, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Charles Hoot |
Termination for Restricted Derivations and Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 206-222, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihito Toyama, Michio Oyamaguchi |
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 316-331, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi |
Rewriting for Preorder Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 223-234, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen |
Preserving Confluence for Rewrite Systems with Built-in Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 71-88, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Akira Mori, Yoshihiro Matsumoto |
Coherence for Cartesian Closed Categories: A Sequential Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings, pp. 276-295, 1994, Springer, 3-540-60381-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![Springer, 3-540-56393-8 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Pacholski |
Decidability of finiteness properties (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 429, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Karel Stokkermans |
A Categorical Formulation for Critical-Pair/Completion Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 328-342, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Becker 0002 |
Semantics for Positive/Negative Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 213-225, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
Type Removal in Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 148-154, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wenchang Fang, Jung-Hong Kao |
Set-Of-Support Strategy for Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 498-501, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lars With |
Completeness and Confluence of Order-Sorted Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 393-407, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 257-271, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke |
Algebraic Semantics of Rewriting Terms and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 1-20, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Charles Hoot |
Completion for Constrained Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 408-423, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Subrata Mitra |
Path Orderings for Termination of Associative-Commutative Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 168-174, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Plump |
Collapsed Tree Rewriting: Completeness, Confluence, and Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 97-112, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp |
Completeness of Combinations of Conditional Constructor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 82-96, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Normalization by Leftmost Innermost Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 448-457, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bockmayr, Stefan Krischer, Andreas Werner 0001 |
An Optimal Narrowing Strategy for General Canonical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 483-497, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Enno Ohlebusch |
Combinations of Simplifying Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 113-127, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yabo Wang, David Lorge Parnas |
Trace Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 343-356, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Simple Type Inference for Term Graph Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 51-66, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, Jürgen Stuber |
Inductive Theorem Proving by Consistency for First-Order Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 226-241, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
Termination of Term Rewriting by Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 155-167, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hantao Zhang 0001 |
Proving Group Isomorphism Theorems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 302-306, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, Uwe Waldmann |
Termination Proofs of Well-Moded Logic Programs via Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 430-437, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kahrs |
Context Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 21-35, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Akihiko Takano |
Generalized Partial Computation using Disunification to Solve Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 424-428, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Loría-Sáenz, Joachim Steinbach |
Termination of Combined (Rewrite and lambda-Calculus) Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 143-147, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kristoffer Høgsbro Rose |
Explicit Cyclic Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 36-50, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Claus-Peter Wirth, Bernhard Gramlich |
A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 198-212, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Hofbauer, Maria Huber |
Computing Linearizations Using Test Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 287-301, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Staffan Bonnier, Jonas Wallgren |
Logic Programs with Polymorphic Types: A condition for static type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 438-447, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sergei G. Vorobyov |
Could Orders Be Captured By Term Rewriting Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 315-327, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Kucherov, Mohamed Tajine |
Decidability of Regularity and Related Properties of Ground Normal Form Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 272-286, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Padawitz |
Generic Induction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 175-197, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | François Bronsard, Uday S. Reddy |
Reduction Techniques for First-Order Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 242-256, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hantao Zhang 0001 |
Implementing Contextual Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 363-377, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Valentin M. Antimirov, Anatoli Degtyarev |
Consistency and Semantics of Equational Definitions over Predefined Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 67-81, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi, Monica Nesi |
A Strategy to Deal with Divergent Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 458-467, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 128-142, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Junnosuke Yamada |
Confluence of Terminating Membership Conditional TRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 378-392, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Delsart |
A New Approach to General E-Unification Based on Conditional Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 468-482, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fraus |
A Calculus for Conditional Inductive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 357-362, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
Semigroups Satisfying xm+n = xn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings, pp. 307-314, 1992, Springer, 3-540-56393-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![Springer, 3-540-54317-1 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Aida, Joseph A. Goguen, José Meseguer 0001 |
Compiling Concurrent Rewriting onto the Rewrite Rule Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 320-332, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Kounalis, Michaël Rusinowitch |
A Proof System for Conditional Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 51-63, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yiyun Chen, Michael J. O'Donnell |
Testing Confluence of Nonterminating Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 127-136, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Plump |
Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 307-317, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
A Maximal-Literal Unit Strategy for Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 14-25, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Siva Anantharaman, Maria Paola Bonacina |
An Application of Automated Equational Reasoning to Many-valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 156-161, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | N. Lichtenstein, Stéphane Kaplan |
FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 287-294, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Devie |
Linear Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 233-245, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyu Qian |
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 448-453, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | John G. Stell |
Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 389-400, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Louis Galbiati, Carolyn L. Talcott |
A Simplifier for Untyped Lambda Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 342-353, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 436-447, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Bernard R. Hodgson, Clement F. Kent |
A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 137-142, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Design Strategies for Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 333-341, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp |
Confluence of the Disjoint Union of Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 295-306, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Robert Nieuwenhuis, Fernando Orejas |
Clausal Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 246-258, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera |
Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 260-271, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Wadoud Bousdira, Jean-Luc Rémy |
On Sufficient Completeness of Conditional Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 272-286, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | François Bronsard, Uday S. Francois |
Conditional Rewriting in Focus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 2-13, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Waldmann |
Compatibility of Order-Sorted Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 407-416, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yong Sun |
Equational Logics (Birkhoff's Method Revisited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 401-406, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger |
Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 162-180, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gianni Aguzzi, U. Modigliani, M. Cecilia Verri |
An Universal Termination Condition for Solving Goals in Equational Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 418-423, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Eddy Bevers, Johan Lewi |
Proof by Consistency in Conditional Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 194-205, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 454-461, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hong Chen, Jieh Hsiang, Hwa-Chung Kong |
On Finite Representations of Infinite Sequences of Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 100-114, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Bertling |
Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 181-193, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Yike Guo |
Constrained Equational Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 424-435, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 354-369, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner, Miki Hermann |
Meta-rule Synthesis from Crossed Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 143-154, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Chilukuri K. Mohan |
Equivalences of Rewrite Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 92-97, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Emele, Rémi Zajac |
A Fixed-Point Semantics for Feature Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 383-388, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Jieh Hsiang |
Completion Procedures as Semidecision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 206-232, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio |
Typed Equivalence, Type Assignment, and Type Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 372-382, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yiyun Chen, Michael J. O'Donnell |
Infinite Terms and Infinite Rewritings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 115-126, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jan Willem Klop, Roel C. de Vrijer |
Extended Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 26-50, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|