✦ LIBER ✦

[Lecture Notes in Computer Science] Conditional and Typed Rewriting Systems Volume 516 || Clausal rewriting

✍ Scribed by Kaplan, S.; Okada, M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cond

✍ Dershowitz, Nachum; Lindenstrauss, Naomi 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 816 KB

[Lecture Notes in Computer Science] Auto

✍ Diaz, Josep 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 783 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

✍ Middeldorp, Aart 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 168 KB

[Lecture Notes in Computer Science] Alge

✍ Winkler, Franz 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 253 KB

[Lecture Notes in Computer Science] Grap

✍ Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 468 KB