scientific article; zbMATH DE number 517039
From MaRDI portal
Publication:4282567
zbMath0792.68095MaRDI QIDQ4282567
Publication date: 17 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Functor categories, comma categories (18A25)
Related Items (9)
Bounded quantifications for iteration and concurrency in logic programming ⋮ Algebraic domains of natural transformations ⋮ Computational representation of practical argument ⋮ Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs ⋮ Regular languages with variables on graphs ⋮ Topology, domain theory and theoretical computer science ⋮ Structuring Operational Semantics: Simplification and Computation ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin ⋮ Information categories
This page was built for publication:
