✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Subrecursion as a basis for a feasible programming language

✍ Scribed by Pacholski, Leszek; Tiuryn, Jerzy

Book ID: 111681248
Publisher: Springer Berlin Heidelberg
Year: 1995
Weight: 868 KB
Category: Article
DOI: 10.1007/bfb0022266

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories

✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 836 KB

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Java as a Functional Programming Language

✍ Geuvers, Herman; Wiedijk, Freek 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 217 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2001 Volume 2136 || Syntactic Semiring of a Language

✍ Sgall, Jiří; Pultr, Aleš; Kolman, Petr 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 136 KB

This Volume Contains Papers Selected For Presentation At The 26th International Symposium On Mathematical Foundations Of Computer Science – Mfcs 2001, Held In Mari´ansk´el´azn?e, Czech Republic, August 27 – 31, 2001. Mfcs 2001 Was Organized By The Mathematical Institute (academy Of S- Ences Of The C

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 4246 || Theory Instantiation

✍ Hermann, Miki; Voronkov, Andrei 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 252 KB

This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2006, Held In Phnom Penh, Cambodia In November 2006. The 38 Revised Full Papers Presented Together With One Invited Talk Were Carefully Reviewed

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Inline expansion: When and how?

✍ Glaser, Hugh; Hartel, Pieter; Kuchen, Herbert 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 826 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || Congruences for Visibly Pushdown Languages

✍ Caires, Luís; Italiano, Giuseppe F.; Monteiro, Luís; Palamidessi, Catuscia; Yung 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 175 KB

The 32nd International Colloquium On Automata, Languages And Programming (icalp 2005) Was Held In Lisbon, Portugal From July 11 To July 15, 2005. These Proceedings Contain All Contributed Papers Presented At Icalp 2005, - Getherwiththepapersbytheinvitedspeakersgiuseppecastagna(ens),leonid Libkin (to