Proving ground confluence of equational specifications modulo axioms

DOI10.1007/978-3-319-99840-4_11zbMath1517.68159OpenAlexW2789543688MaRDI QIDQ6164540

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

Mathematics Subject Classification ID

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

Related Items (1)

Ground confluence of order-sorted conditional specifications modulo axioms

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