scientific article
From MaRDI portal
Publication:4001862
zbMath0741.00063MaRDI QIDQ4001862
No author found.
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (4)
On completeness and cocompleteness in and around small categories ⋮ An approach to literate and structured formal developments ⋮ Using typed lambda calculus to implement formal systems on a machine ⋮ Towards an integration science. The influence of Richard Bellman on our research.
This page was built for publication:
