✦ LIBER ✦

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 2051 || Universal Interaction Systems with Only Two Agents

✍ Scribed by Middeldorp, Aart

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rewr

✍ Oostrom, Vincent 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 379 KB

[Lecture Notes in Computer Science] Rewr

✍ Ganzinger, Harald 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 20 KB

[Lecture Notes in Computer Science] High

✍ Heering, Jan; Meinke, Karl; Möller, Bernhard; Nipkow, Tobias 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 946 KB

[Lecture Notes in Computer Science] Rewr

✍ Lescanne, Pierre 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 876 KB

[Lecture Notes in Computer Science] Term

✍ Giesl, Jürgen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 250 KB

[Lecture Notes in Computer Science] Term

✍ Pfenning, Frank 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 189 KB