On Forward Closure and the Finite Variant Property-Reference-Cited by-同舟云学术

On Forward Closure and the Finite Variant Property

Published:2013 Issue: Volume: Page:327-342
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
language:
Short-container-title:

Author:

Bouchard Christopher,Gero Kimberly A.,Lynch Christopher,Narendran Paliath

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40885-4_23

Reference15 articles.

1. Lecture Notes in Computer Science;S. Anantharaman,2012

2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1999)

3. Baader, F., Snyder, W.: Unification Theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 440–526. Elsevier Science Publishers BV (1999)

4. Bouchard, C., Gero, K.A., Lynch, C., Narendran, P.: On Forward Closure and the Finite Variant Property. Technical report, Dept. of Computer Science, University at Albany—SUNY (July 2013)

5. Bouchard, C., Gero, K.A., Narendran, P.: Some Notes on Basic Syntactic Mutation. In: Escobar, S., Korovin, K., Rybakov, V. (eds.) Proceedings 26th International Workshop on Unification, pp. 9–14 (2012)

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

1. Variants and satisfiability in the infinitary unification wonderland;Journal of Logical and Algebraic Methods in Programming;2023-08

2. CONSTRUCTIVE MANY-ONE REDUCTION FROM THE HALTING PROBLEM TO SEMI-UNIFICATION (EXTENDED VERSION);LOG METH COMPUT SCI;2023

3. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

4. Symbolic Specialization of Rewriting Logic Theories with Presto;Theory and Practice of Logic Programming;2022-02-11

5. Optimization of rewrite theories by equational partial evaluation;Journal of Logical and Algebraic Methods in Programming;2022-01