scientific article
From MaRDI portal
Publication:3815518
zbMath0664.68018MaRDI QIDQ3815518
Rudolf Berghammer, Hans Zierer, Herbert Ehler
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)
Related Items (2)
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
This page was built for publication:
