scientific article; zbMATH DE number 709076
From MaRDI portal
Publication:4318835
zbMath0829.68013MaRDI QIDQ4318835
Publication date: 10 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items (2)
Reflection principles for synthetic theories of smooth manifolds ⋮ RALL: Machine-supported proofs for relation algebra
Uses Software
This page was built for publication:
