On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
From MaRDI portal
Publication:6487297
DOI10.1007/978-3-031-12441-9_10zbMath1514.68039MaRDI QIDQ6487297
Stephen Skeirik, José Meseguer
Publication date: 7 December 2022
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
