scientific article
From MaRDI portal
Publication:3221399
zbMath0557.68030MaRDI QIDQ3221399
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticslogic programminginfinite computationsfixed point semanticsinfinite derivationsfair derivations
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (6)
The fixed points of logic programs with Herbrand base \({\mathbb{N}}\) ⋮ Applications of compactness in the Smyth powerdomain of streams ⋮ Recursion equation sets computing logic programs ⋮ Nondeterminism and infinite computations in constraint programming ⋮ Completions of perpetual logic programs ⋮ An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
This page was built for publication:
