scientific article; zbMATH DE number 970745
From MaRDI portal
Publication:5688938
zbMath0864.68009MaRDI QIDQ5688938
Publication date: 11 March 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programming (68N17) Computer system organization (68M99) General topics in the theory of software (68N01)
Related Items (5)
A relation algebraic model of robust correctness ⋮ An elementary and unified approach to program correctness ⋮ Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited ⋮ Predicative specifications for functional programs describing communicating networks ⋮ On denotational versus predicative semantics
This page was built for publication:
