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

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

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

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 ◽

Cited By ~ 2

Author(s):

Hugo Herbelin ◽

Gyesik Lee

Keyword(s):

Sequent Calculus ◽

Cut Elimination

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

$\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

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

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

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

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

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

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

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

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