scientific article; zbMATH DE number 1795986
From MaRDI portal
Publication:4551034
zbMATH Open0998.68077MaRDI QIDQ4551034
Publication date: 4 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (7)
A generalization of ordered-pair semantics ⋮ A Fixpoint Semantics for Ordered Logic ⋮ Order-dual relational semantics for non-distributive propositional logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements ⋮ A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
This page was built for publication:
