✦ LIBER ✦

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 || A Calculus for Interaction Nets

✍ Scribed by Nadathur, Gopalan

Book ID: 120038322
Publisher: Springer Berlin Heidelberg
Year: 1999
Weight: 284 KB
Category: Article
ISBN: 3540481648
DOI: 10.1007/10704567_10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 || Constraint Programming in OPL

✍ Nadathur, Gopalan 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 175 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] Diag

[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 5223 || Visual Programming with Interaction Nets

✍ Stapleton, Gem; Howse, John; Lee, John 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 278 KB

Diagrams Is An International And Interdisciplinary Conference Series, Covering All Aspects Of Research On The Theory And Application Of Diagrams. Recent Technological Advances Have Enabled The Large-scale Adoption Of D- Grams In A Diverse Range Of Areas. Increasingly Sophisticated Visual Represen- T

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 8124 || MinSAT versus MaxSAT for Optimization Problems

✍ Schulte, Christian 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 226 KB

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 su

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 5202 || Crossword Puzzles as a Constraint Problem

✍ Stuckey, Peter J. 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 151 KB

[Lecture Notes in Computer Science] Prin

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming – CP 2011 Volume 6876 || Orchestrating Satisfiability Engines

✍ Lee, Jimmy 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 48 KB