✦ LIBER ✦

Equivalence of adult languages and extensions for DTOL systems

✍ Scribed by Klaus-Jörn Lange

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Church-Rosser controlled rewriting syste

✍ G. Sénizergues 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 707 KB

Extensions of endpoint equivalent and pe

✍ Theodore Kilgore; R.A Zalik 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 642 KB

Problems of inclusion and equivalence fo

✍ L. P. Lisovik 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 750 KB

[Lecture Notes in Computer Science] Auto

✍ Bakker, Jaco; Leeuwen, Jan 📂 Article 📅 1980 🏛 Springer Berlin Heidelberg ⚖ 744 KB

Enhancing the Learning and Retention of

✍ MaryKate Morse 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 65 KB

Refinement of actions and equivalence no

✍ Rob van Glabbeek; Ursula Goltz 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 739 KB