scientific article; zbMATH DE number 935111

zbMath0856.68065MaRDI QIDQ4895486

Franz Wachtler, Rudolf Freund

Publication date: 12 November 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational universalityuniversal mCR system

Mathematics Subject Classification ID

Related Items (max. 100)

Logical string rewriting ⋮ Cut, paste and filter.

This page was built for publication: