Affine geometry of collinearity and conditional term rewriting

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_14 ◽

1995 ◽

pp. 196-213 ◽

Author(s):

Philippe Balbiani ◽

Luis Fariñas Cerro

Keyword(s):

Term Rewriting ◽

Affine Geometry ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Conditional Term Rewriting Systems

10.1007/3-540-56393-8 ◽

1993 ◽

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

A logic for conditional term rewriting systems

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-19242-5_16 ◽

1988 ◽

pp. 212-227 ◽

Author(s):

David A. Plaisted

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Abstraction of Conditional Term Rewriting Systems

Logic Programming ◽

10.7551/mitpress/4301.003.0022 ◽

1995 ◽

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

A compiler for a class of conditional term rewriting systems

Conditional Term Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-19242-5_7 ◽

1988 ◽

pp. 84-90 ◽

Author(s):

Alfons Geser ◽

Heinrich Hussmann ◽

Andreas Mück

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Determinization of conditional term rewriting systems

Theoretical Computer Science ◽

10.1016/j.tcs.2012.09.005 ◽

2012 ◽

Vol 464 ◽

pp. 72-89 ◽

Author(s):

Masanori Nagashima ◽

Masahiko Sakai ◽

Toshiki Sakabe

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Confluence of the disjoint union of conditional term rewriting systems

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54317-1_99 ◽

1991 ◽

pp. 295-306 ◽

Author(s):

Aart Middeldorp

Keyword(s):

Disjoint Union ◽

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Conditional Term Rewriting Systems

10.1007/3-540-19242-5 ◽

1988 ◽

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Modular Properties of Conditional Term Rewriting Systems

Information and Computation ◽

10.1006/inco.1993.1027 ◽

1993 ◽

Vol 104 (1) ◽

pp. 110-158 ◽

Author(s):

A. Middeldorp

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

A reflective language based on conditional term rewriting

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_7 ◽

1996 ◽

pp. 65-66 ◽

Author(s):

Masanobu Numazawa ◽

Masahito Kurihara ◽

Azuma Ohuchi

Keyword(s):

Term Rewriting ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17822-6_7 ◽

2015 ◽

pp. 113-130 ◽

Author(s):

Salvador Lucas ◽

José Meseguer ◽

Raúl Gutiérrez

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting ◽

Dependency Pair

Download Full-text