✦ LIBER ✦

[Lecture Notes in Computer Science] Combinatorics and Computer Science Volume 1120 || Contiguity orders

✍ Scribed by Deza, Michel; Euler, Reinhardt; Manoussakis, Ioannis

Book ID: 111963446
Publisher: Springer Berlin Heidelberg
Year: 1996
Weight: 690 KB
Category: Article
ISBN: 3540706275
DOI: 10.1007/3-540-61576-8_89

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cons

[Lecture Notes in Computer Science] Constructivity in Computer Science Volume 613 || Constructive topology and combinatorics

✍ Myers, J. Paul; O'Donnell, Michael J. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 288 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 145 || Inconsistencies of pure LISP

✍ Cremers, Armin B.; Kriegel, Hans-Peter 📂 Article 📅 1982 🏛 Springer-Verlag ⚖ 504 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 6247 || Exact Exploration and Hanging Algorithms

✍ Dawar, Anuj; Veith, Helmut 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 223 KB

[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] Theo

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 104 || Robust balancing in B-trees

✍ Deussen, Peter 📂 Article 📅 1981 🏛 Springer Berlin Heidelberg ⚖ 739 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computing and Combinatorics Volume 6842 || A New Variation of Hat Guessing Games

✍ Fu, Bin; Du, Ding-Zhu 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 216 KB

This book constitutes the refereed proceedings of the 17th Annual International Conference on Computing and Combinatorics, held in Dallas, TX, USA, in August 2011. The 54 revised full papers presented were carefully reviewed and selected from 136 submissions. Topics covered are algorithms and data s