✦ LIBER ✦

A note on unification type zero

✍ Scribed by Franz Baader

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hilbert's tenth problem is of unificatio

✍ Mark Franzen 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 377 KB

The theory of idempotent semigroups is o

✍ Franz Baader 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 182 KB

Reply to “notes on unification”

✍ John Wettersten 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 641 KB

A note on path-zero graphs

✍ J.J. Seidel 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 207 KB

of the matrix equation P\*(X,,) = O,, where Pk(k) is the characteristic equation of the path-graph of length k.

Note on a Zero-Sum Problem

✍ W. Gao 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 80 KB

A note on the parallel complexity of ant

✍ G. M. Kuper; K. W. McAloon; K. V. Palem; K. J. Perry 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 461 KB