✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Reasoning Volume 3097 || Efficient Checking of Term Ordering Constraints

✍ Scribed by Basin, David; Rusinowitch, Michaël

Book ID: 111888511
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 247 KB
Category: Article
ISBN: 3540259848
DOI: 10.1007/978-3-540-25984-8_3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Reasoning Volume 7364 || Stratification in Logics of Definitions

✍ Gramlich, Bernhard; Miller, Dale; Sattler, Uli 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 273 KB

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (I

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 822 || Higher-Order Abstract Syntax with induction in Coq

✍ Pfenning, Frank 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 857 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || The unification of infinite sets of terms and its applications

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 753 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || On the use of the constructive omega-rule within automated deduction

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 856 KB

[Lecture Notes in Computer Science] Grap

[Lecture Notes in Computer Science] Graph Transformations Volume 7562 || Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking

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

[Lecture Notes in Computer Science] Ener

[Lecture Notes in Computer Science] Energy Efficient Data Centers Volume 7396 || Exploiting VM Migration for the Automated Power and Performance Management of Green Cloud Computing Systems

✍ Huusko, Jyrki; de Meer, Hermann; Klingert, Sonja; Somov, Andrey 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 211 KB

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Energy Efficient Data Centers (E2DC 2012) held in Madrid, Spain, in May 2012. The 13 revised full papers presented were carefully selected from 32 submissions. The papers cover topics fro