✦ LIBER ✦

Algorithms for Equality and Unification in the Presence of Notational Definitions

✍ Scribed by Frank Pfenning; Carsten Schürmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

✍ Altenkirch, Thorsten; Reus, Bernhard; Naraschewski, Wolfgang 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 256 KB

Current status of the proposals for unif

✍ C. Rudowicz 📂 Article 📅 2003 🏛 Springer Vienna 🌐 English ⚖ 943 KB

Current Status of the Proposals for Unif

✍ Czeslaw Rudowicz 📂 Article 📅 2003 🏛 John Wiley and Sons ⚖ 53 KB

The unification of differential encoding

✍ Shuangping Liu; Xiang Wen; Liang Jin 📂 Article 📅 2007 🏛 SP Science Press 🌐 English ⚖ 237 KB

Rounding and notation, namely when using

✍ Pavese, F. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 279 KB

The equality of errors in classes of pas

✍ A.G. Sukharev 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 207 KB