Order-Sorted Generalization-Reference-Cited by-同舟云学术

Order-Sorted Generalization

Published:2009-08 Issue: Volume:246 Page:27-38
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Alpuente María,Escobar Santiago,Meseguer José,Ojeda Pedro

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference31 articles.

1. An Axiomatic Approach to Feature Term Generalization;Aït-Kaci,2001

2. M. Alpuente, S. Escobar, J. Meseguer, and P. Ojeda. A Modular Equational Generalization Algorithm. Proc. 18th Int'l Symp. on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, pages 151–165, 2008

3. Partial evaluation of functional logic programs;Alpuente;ACM Trans. Program. Lang. Syst.,1998

4. Specialization of functional logic programs based on needed narrowing;Alpuente;TPLP,2005

5. Unification theory;Baader,1999

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

1. Some properties of substitutions in the framework of similarity relations;Fuzzy Sets and Systems;2023-08

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

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

4. Order-sorted equational generalization algorithm revisited;Annals of Mathematics and Artificial Intelligence;2021-09-25

5. Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach;Fuzzy Sets and Systems;2020-07