Proving ground confluence of equational specifications modulo axioms

DOI10.1007/978-3-319-99840-4_11zbMATH Open1517.68159OpenAlexW2789543688MaRDI QIDQ6164540FDOQ6164540

Authors: Francisco Durán, José Meseguer, Camilo Rocha 

Publication date: 28 July 2023

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2142/99548

Recommendations

• Ground confluence of order-sorted conditional specifications modulo axioms
• Testing confluence of nonterminating rewriting systems
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
• scientific article; zbMATH DE number 3990847
• Proving ground confluence and inductive validity in constructor based equational specifications

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Cited In (3)

• Ground confluence of order-sorted conditional specifications modulo axioms
• Title not available (Why is that?)
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies

This page was built for publication: Proving ground confluence of equational specifications modulo axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164540)