✦ LIBER ✦

The undecidability of the unification and matching problem for canonical theories

✍ Scribed by Stephan Heilbrunner; Steffen Hölldobler

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on a canonical theory with undeci

✍ Alexander Bockmayr 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 132 KB

The undecidability of the second order p

✍ Gilles Amiot 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 397 KB

Olga, matrix theory and the Taussky unif

✍ Charles R. Johnson; the assistance of Shaun Fallat 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 491 KB

Statistical Matching (Theory and Practic

✍ D'Orazio, Marcello; Di Zio, Marco; Scanu, Mauro 📂 Article 📅 2006 🏛 John Wiley & Sons, Ltd 🌐 English ⚖ 113 KB 👁 1 views

A unification scheme for the Einstein an

✍ Nikos A. Batakis 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 354 KB

How the unification theory of explanatio

✍ Todd Jones 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 808 KB