scientific article
From MaRDI portal
Publication:3904559
zbMath0456.00009MaRDI QIDQ3904559
No author found.
Publication date: 1980
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 number theory (11-06) Proceedings, conferences, collections, etc. pertaining to field theory (12-06)
Related Items (2)
The word problem for Smullyan's lark combinator is decidable ⋮ Parallel reductions in \(\lambda\)-calculus
This page was built for publication:
