scientific article; zbMATH DE number 890353
From MaRDI portal
Publication:4882541
zbMath0852.68007MaRDI QIDQ4882541
Publication date: 18 June 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (5)
Components and acyclicity of graphs. An exercise in combining precision with concision ⋮ A calculational approach to mathematical induction ⋮ Final Dialgebras: From Categories to Allegories ⋮ Datatype-generic termination proofs ⋮ Characterizing determinacy in Kleene algebras
This page was built for publication:
