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

9783642209192, 9783642209208

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Complexity Question in Justification Logic

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

10.1007/978-3-642-20920-8_7 ◽

2011 ◽

pp. 8-19

Author(s):

Antonis Achilleos

Keyword(s):

Justification Logic

Download Full-text

Querying the Fragments of English

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

10.1007/978-3-642-20920-8_25 ◽

2011 ◽

pp. 257-271

Author(s):

Camilo Thorne

Download Full-text

Nominal Lawvere Theories

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

10.1007/978-3-642-20920-8_11 ◽

2011 ◽

pp. 67-83 ◽

Cited By ~ 3

Author(s):

Ranald Clouston

Download Full-text

A Symbolic Logic with Exact Bounds for Cryptographic Protocols

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

10.1007/978-3-642-20920-8_3 ◽

2011 ◽

pp. 3-3

Author(s):

John C. Mitchell

Keyword(s):

Cryptographic Protocols ◽

Symbolic Logic ◽

Exact Bounds

Download Full-text

On Polymorphic Types of Untyped Terms

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

10.1007/978-3-642-20920-8_24 ◽

2011 ◽

pp. 239-256 ◽

Cited By ~ 1

Author(s):

Rick Statman

Download Full-text

Strong Normalization and Confluence for Reflexive Combinatory Logic

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

10.1007/978-3-642-20920-8_23 ◽

2011 ◽

pp. 228-238

Author(s):

Daniyar S. Shamkanov

Keyword(s):

Combinatory Logic ◽

Strong Normalization

Download Full-text

Hoare Logic for Higher Order Store Using Simple Semantics

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

10.1007/978-3-642-20920-8_10 ◽

2011 ◽

pp. 52-66 ◽

Cited By ~ 1

Author(s):

Nathaniel Charlton

Keyword(s):

Higher Order ◽

Hoare Logic

Download Full-text

Unification in Logic

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

10.1007/978-3-642-20920-8_2 ◽

2011 ◽

pp. 2-2

Author(s):

Rosalie Iemhoff

Download Full-text

Partial Realization in Dynamic Justification Logic

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

10.1007/978-3-642-20920-8_9 ◽

2011 ◽

pp. 35-51 ◽

Cited By ~ 11

Author(s):

Samuel Bucheli ◽

Roman Kuznets ◽

Thomas Studer

Keyword(s):

Justification Logic

Download Full-text

Characterizing Definability of Second-Order Generalized Quantifiers

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

10.1007/978-3-642-20920-8_20 ◽

2011 ◽

pp. 187-200

Author(s):

Juha Kontinen ◽

Jakub Szymanik

Keyword(s):

Second Order ◽

Generalized Quantifiers

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Complexity Question in Justification Logic

Querying the Fragments of English

Nominal Lawvere Theories

A Symbolic Logic with Exact Bounds for Cryptographic Protocols

On Polymorphic Types of Untyped Terms

Strong Normalization and Confluence for Reflexive Combinatory Logic

Hoare Logic for Higher Order Store Using Simple Semantics

Unification in Logic

Partial Realization in Dynamic Justification Logic

Characterizing Definability of Second-Order Generalized Quantifiers

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