scientific article; zbMATH DE number 1086634
From MaRDI portal
Publication:4362883
zbMath0884.68080MaRDI QIDQ4362883
Rudolf Berghammer, Burghard von Karger
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Combining relational calculus and the Dijkstra-Gries method for deriving relational programs ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
This page was built for publication:
