scientific article; zbMATH DE number 3416946
From MaRDI portal
Publication:5680985
zbMath0264.68002MaRDI QIDQ5680985
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items (4)
Linear Arithmetic with Stars ⋮ Query languages for hierarchic databases ⋮ Decision Procedures for Multisets with Cardinality Constraints ⋮ Data types, abstract data types and their specification problem
This page was built for publication: