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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 12

Author(s):

Sylvain Salvati

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

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

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 ◽

Cited By ~ 5

Author(s):

Juliana Kaizer Vizzotto ◽

André Rauber Du Bois ◽

Amr Sabry

Keyword(s):

Programming Language ◽

Quantum Programming

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 3

Author(s):

Henning Christiansen ◽

Verónica Dahl

Keyword(s):

Abductive Logic ◽

Logic Grammars

Download Full-text

Completions of Basic Algebras

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

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

2009 ◽

pp. 72-83

Author(s):

Majid Alizadeh

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 4

Author(s):

Linda Postniece

Keyword(s):

Intuitionistic Logic ◽

Deep Inference

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Recognizability in the Simply Typed Lambda-Calculus

On-the-Fly Macros

The Arrow Calculus as a Quantum Programming Language

Logic-Based Probabilistic Modeling

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

Abductive Logic Grammars

Completions of Basic Algebras

An Independence Relation for Sets of Secrets

Ehrenfeucht-Fraïssé Games on Random Structures

Deep Inference in Bi-intuitionistic Logic

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