𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || Arithmetic as a Theory Modulo

✍ Scribed by Giesl, Jürgen

Book ID
124086242
Publisher
Springer Berlin Heidelberg
Year
2005
Weight
212 KB
Category
Article
ISBN
3540320334

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Term
[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || Proof-Producing Congruence Closure
✍ Nieuwenhuis, Robert (author);Oliveras, Albert (author) 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 254 KB

This Volume Contains The Proceedings Of The 16th International Conference On Rewriting Techniques And Applications (rta2005),whichwasheldonapril19– 21, 2005, At The Nara-ken New Public Hall In The Center Of The Nara National Park In Nara, Japan. Rta Is The Major Forum For The Presentation Of Researc

[Lecture Notes in Computer Science] Term
[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || The Algebra of Equality Proofs
✍ Giesl, Jürgen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 250 KB

This Volume Contains The Proceedings Of The 16th International Conference On Rewriting Techniques And Applications (rta2005),whichwasheldonapril19– 21, 2005, At The Nara-ken New Public Hall In The Center Of The Nara National Park In Nara, Japan. Rta Is The Major Forum For The Presentation Of Researc