scientific article
From MaRDI portal
Publication:3216138
zbMath0553.68028MaRDI QIDQ3216138
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Data structures (68P05) Information storage and retrieval of data (68P20) Abstract model theory (03C95)
Related Items
Why Horn formulas matter in computer science: initial structures and generic examples, Logics of Finite Hankel Rank, From Hilbert's program to a logic tool box, On the expressive power of data dependencies, Characterizing specification languages which admit initial semantics, Propositional dynamic logic with local assignments, Some thoughts on computational models: from massive human computing to abstract state machines, and beyond
