Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems-Reference-Cited by-同舟云学术

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems

Published:2020-09-08 Issue: Volume: Page:
ISSN:
Container-title:22nd International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Kirkeby Maja¹,Glück Robert²

Affiliation:

1. Roskilde University, Denmark

2. University of Copenhagen, Denmark

Publisher

ACM

Reference33 articles.

1. The universal resolving algorithm and its correctness: inverse computation in a functional language

2. Programming with narrowing: A tutorial

3. Franz Baader and Tobias Nipkow. 1998. Term Rewriting and All That. Cambridge University Press United Kingdom. Franz Baader and Tobias Nipkow. 1998. Term Rewriting and All That. Cambridge University Press United Kingdom.

4. Marc Bezem Jan W. Klop and Roel de Vrijer. 2003. Term rewriting systems: Terese. Cambridge Tracts in Theoretical Computer Science Vol. 55. Cambridge University Press United Kingdom. Marc Bezem Jan W. Klop and Roel de Vrijer. 2003. Term rewriting systems: Terese. Cambridge Tracts in Theoretical Computer Science Vol. 55. Cambridge University Press United Kingdom.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sparcl: A language for partially invertible computation;Journal of Functional Programming;2024

2. An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion;Electronic Proceedings in Theoretical Computer Science;2021-09-06

3. Determinization of inverted grammar programs via context-free expressions;Journal of Logical and Algebraic Methods in Programming;2021-08