scientific article; zbMATH DE number 821280
From MaRDI portal
Publication:4857382
zbMath0831.00010MaRDI QIDQ4857382
No author found.
Publication date: 28 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (3)
The Logic of Choice ⋮ Data Flow Analysis and Testing of Abstract State Machines ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis
This page was built for publication:
