✦ LIBER ✦

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 7149 || A Declarative Specification of Tree-Based Symbolic Arithmetic Computations

✍ Scribed by Russo, Claudio; Zhou, Neng-Fa

Book ID: 111684973
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 249 KB
Category: Article
ISBN: 3642276946
DOI: 10.1007/978-3-642-27694-1_20

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 7149 || Typing the Numeric Tower

✍ Russo, Claudio; Zhou, Neng-Fa 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 236 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science - ICCS 2004 Volume 3039 || Declarative Specification of Ambiance in VRML Landscapes

✍ Bubak, Marian; van Albada, Geert Dick; Sloot, Peter M. A.; Dongarra, Jack 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 || C-—: A Portable Assembly Language that Supports Garbage Collection

✍ Nadathur, Gopalan 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 278 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 3492 || Translating Formal Software Specifications to Natural Language

✍ Blache, Philippe; Stabler, Edward; Busquets, Joan; Moot, Richard 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 193 KB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France i

[Lecture Notes in Computer Science] SOFS

[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

✍ Leeuwen, Jan; Muscholl, Anca; Peleg, David; Pokorný, Jaroslav; Rumpe, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 225 KB

This Book Constitutes The Refereed Proceedings Of The 36th Conference On Current Trends In Theory And Practice Of Computer Science, Sofsem 2010, Held In Špindleruv Mlýn, Czech Republic, In January 2009. The 53 Revised Full Papers, Presented Together With 11 Invited Contributions, Were Carefully Revi

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 6707 || A Graph Query Language for EMF Models

✍ Cabot, Jordi; Visser, Eelco 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 380 KB