✦ LIBER ✦

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 256 || A general complete E-unification procedure

✍ Scribed by Lescanne, Pierre

Book ID: 111891291
Publisher: Springer Berlin Heidelberg
Year: 1987
Weight: 876 KB
Category: Article
ISBN: 3540474218
DOI: 10.1007/3-540-17220-3_19

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1103 || Design of a proof assistant

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

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 3091 || Efficient λ-Evaluation with Interaction Nets

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

[Lecture Notes in Computer Science] Rewr

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

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

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

✍ Ölveczky, Peter Csaba 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 281 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Rewriting Logic And Its Applications, Wrla 2010, Held As A Satellite Event Of Etaps 2010, Paphos, Cyprus, In March 2010. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 29 Submissions.

[Lecture Notes in Computer Science] Appr

[Lecture Notes in Computer Science] Approaches and Applications of Inductive Programming Volume 5812 || Inductive Programming: A Survey of Program Synthesis Techniques

✍ Schmid, Ute; Kitzelmann, Emanuel; Plasmeijer, Rinus 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 309 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advanced Data Mining and Applications Volume 6441 || A General Multi-relational Classification Approach Using Feature Generation and Selection

✍ Cao, Longbing; Zhong, Jiang; Feng, Yong 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 418 KB

With The Ever-growing Power Of Generating, Transmitting, And Collecting Huge Amounts Of Data, Information Overloadis Nowan Imminent Problemto Mankind. The Overwhelming Demand For Information Processing Is Not Just About A Better Understanding Of Data, But Also A Better Usage Of Data In A Timely Fash