scientific article
From MaRDI portal
Publication:3910517
zbMath0461.03009MaRDI QIDQ3910517
Herbert A. Klaeren, Martin Schulz
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Word problems, etc. in computability and recursion theory (03D40) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)
Related Items
This page was built for publication:
