Logic, Language, Information and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642022609, 9783642022616

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recognizability in the Simply Typed Lambda-Calculus

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_5 ◽

2009 ◽

pp. 48-60 ◽

Author(s):

Sylvain Salvati

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

The Arrow Calculus as a Quantum Programming Language

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_30 ◽

2009 ◽

pp. 379-393 ◽

Author(s):

Juliana Kaizer Vizzotto ◽

André Rauber Du Bois ◽

Amr Sabry

Keyword(s):

Programming Language ◽

Quantum Programming

Download Full-text

On-the-Fly Macros

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_13 ◽

2009 ◽

pp. 155-169

Author(s):

Hubie Chen ◽

Omer Giménez

Download Full-text

An Independence Relation for Sets of Secrets

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_24 ◽

2009 ◽

pp. 296-304 ◽

Author(s):

Sara Miner More ◽

Pavel Naumov

Download Full-text

Ehrenfeucht-Fraïssé Games on Random Structures

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_28 ◽

2009 ◽

pp. 350-364 ◽

Author(s):

Benjamin Rossman

Keyword(s):

Random Structures

Download Full-text

Deep Inference in Bi-intuitionistic Logic

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_26 ◽

2009 ◽

pp. 320-334 ◽

Author(s):

Linda Postniece

Keyword(s):

Intuitionistic Logic ◽

Download Full-text

Logic-Based Probabilistic Modeling

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_6 ◽

2009 ◽

pp. 61-71 ◽

Author(s):

Taisuke Sato

Keyword(s):

Probabilistic Modeling

Download Full-text

$\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_27 ◽

2009 ◽

pp. 335-349 ◽

Author(s):

Cristian Prisacariu ◽

Gerardo Schneider

Download Full-text

Abductive Logic Grammars

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_14 ◽

2009 ◽

pp. 170-181 ◽

Author(s):

Henning Christiansen ◽

Verónica Dahl

Keyword(s):

Abductive Logic ◽

Download Full-text

Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_17 ◽

2009 ◽

pp. 209-217 ◽

Author(s):

Hugo Herbelin ◽

Gyesik Lee

Keyword(s):

Sequent Calculus ◽

Cut Elimination

Download Full-text