Jeopardy-Reference-Cited by-同舟云学术

Jeopardy

Published:1999 Issue: Volume: Page:16-29
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Dershowitz Nachum,Mitra Subrata

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48685-2_2

Reference17 articles.

1. Aguzzi, G., Modigliani, U.: A criterion to decide the semantic matching problem. Proc. Intl. Conf. on Logic and Algebra, Italy (1995).

2. Lecture Notes in Artificial Intelligence;J. Christian,1992

3. Comon, H.: On unification of terms with integer exponents. Tech. Rep. 770, Université de Paris-Sud, Laboratoire de Réchérche en Informatique (1992).

4. Comon, H., Haberstrau, M., Jouannaud, J.P.: Decidable problems in shallow equational theories. Tech. Rep. 718, Université de Paris-Sud, Laboratoire de Réchérche en Informatique (1991).

5. Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science B: 243–320, North-Holland, Amsterdam (1990).

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

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

2. Improving Determinization of Grammar Programs for Program Inversion;Logic-Based Program Synthesis and Transformation;2013

3. Proving Injectivity of Functions via Program Inversion in Term Rewriting;Functional and Logic Programming;2010

4. A Grammar-Based Approach to Invertible Programs;Programming Languages and Systems;2010

5. Completion after Program Inversion of Injective Functions;Electronic Notes in Theoretical Computer Science;2009-04