An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.341.3 ◽

2021 ◽

Vol 341 ◽

pp. 33-41

Author(s):

Maria Bendix Mikkelsen ◽

Robert Glück ◽

Maja H. Kirkeby

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

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

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

Operational termination of conditional term rewriting systems

Information Processing Letters ◽

10.1016/j.ipl.2005.05.002 ◽

2005 ◽

Vol 95 (4) ◽

pp. 446-453 ◽

Author(s):

Salvador Lucas ◽

Claude Marché ◽

José Meseguer

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting ◽

Operational Termination

Download Full-text