✦ LIBER ✦

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

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

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

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 || A Declarative Specification of Tree-Based Symbolic Arithmetic Computations

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

[Lecture Notes in Computer Science] Deve

[Lecture Notes in Computer Science] Developments in Language Theory Volume 3572 || Restricted Towers of Hanoi and Morphisms

✍ De Felice, Clelia; Restivo, Antonio 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 188 KB

Dlt 2005 Was The 9th Conference On Developments In Language Theory.

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theoretical Aspects of Computer Software Volume 1281 || Sets in types, types in sets

✍ Abadi, Martín; Ito, Takayasu 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 955 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] Theo

[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 5063 || The Epsilon Transformation Language

✍ Vallecillo, Antonio; Gray, Jeff; Pierantonio, Alfonso 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 350 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