Publication:3221399
From MaRDI portal
zbMath0557.68030MaRDI QIDQ3221399
No author found.
Publication date: 1984
operational semantics; logic programming; infinite computations; fixed point semantics; infinite derivations; fair derivations
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Nondeterminism and infinite computations in constraint programming, Recursion equation sets computing logic programs, Applications of compactness in the Smyth powerdomain of streams, Completions of perpetual logic programs, An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations., The fixed points of logic programs with Herbrand base \({\mathbb{N}}\)