Author:
Durán Francisco,Meseguer José,Rocha Camilo
Funder
Universidad de Málaga
Departamento Administrativo de Ciencia, Tecnología e Innovación
Ministerio de Economía, Industria y Competitividad, Gobierno de España
U.S. Naval Research Laboratory
Ministerio de Ciencia, Innovación y Universidades
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference33 articles.
1. Proving confluence of term rewriting systems automatically;Aoto,2009
2. On conditional rewrite systems with extra variables and deterministic logic programs;Avenhaus,1994
3. Simultaneous checking of completeness and ground confluence for algebraic specifications;Bouhoula;ACM Trans. Comput. Log.,2009
4. Specification and proof in membership equational logic;Bouhoula;Theor. Comput. Sci.,2000
5. Semantic foundations for generalized rewrite theories;Bruni;Theor. Comput. Sci.,2006
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Equivalence, and Property Internalization and Preservation for Equational Programs;Lecture Notes in Computer Science;2024
2. Confluence of Terminating Rewriting Computations;The French School of Programming;2023-10-11
3. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
4. Associative unification in Maude;Journal of Logical and Algebraic Methods in Programming;2022-04
5. Symbolic Specialization of Rewriting Logic Theories with Presto;Theory and Practice of Logic Programming;2022-02-11