scientific article
From MaRDI portal
Publication:3789061
zbMath0645.68043MaRDI QIDQ3789061
Corrado Moiso, Elio Giovannetti
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesslogic programmingfunctional programmingterm rewriting systemsE-unificationconditional narrowing
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (13)
Completeness results for basic narrowing ⋮ Completion-time optimization of rewrite-time goal solving ⋮ Level-confluence of conditional rewrite systems with extra variables in right-hand sides ⋮ Kernel-LEAF: A logic plus functional language ⋮ Sentence-normalized conditional narrowing modulo in rewriting logic and Maude ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude ⋮ Conditional equational theories and complete sets of transformations ⋮ Logicality of conditional rewrite systems ⋮ A compositional semantic basis for the analysis of equational Horn programs ⋮ Completeness of combinations of conditional constructor systems ⋮ Conditional narrowing modulo a set of equations ⋮ Horn equational theories and paramodulation
This page was built for publication:
