Abstract
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by strategies. The implementation of completion in ELAN, an interpreter of computational systems, is especially convenient for experimenting with different simplification strategies, thanks to the powerful strategy language of ELAN.
Cite
CITATION STYLE
Kirchner, H., & Moreau, P. E. (1995). Prototyping completion with constraints using computational systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 914, pp. 438–443). Springer Verlag. https://doi.org/10.1007/3-540-59200-8_79
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
