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

9783662477083, 9783662477090

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parametric Polymorphism — Universally

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

10.1007/978-3-662-47709-0_7 ◽

2015 ◽

pp. 81-92 ◽

Cited By ~ 3

Author(s):

Neil Ghani ◽

Fredrik Nordvall Forsberg ◽

Federico Orsanigo

Keyword(s):

Parametric Polymorphism

Download Full-text

The Word Problem for Finitely Presented Quandles is Undecidable

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

10.1007/978-3-662-47709-0_1 ◽

2015 ◽

pp. 1-13

Author(s):

James Belk ◽

Robert W. McGrail

Keyword(s):

Word Problem ◽

Finitely Presented

Download Full-text

Characterizing Frame Definability in Team Semantics via the Universal Modality

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

10.1007/978-3-662-47709-0_11 ◽

2015 ◽

pp. 140-155 ◽

Cited By ~ 1

Author(s):

Katsuhiko Sano ◽

Jonni Virtema

Keyword(s):

Team Semantics

Download Full-text

Proof-Theoretic Aspects of the Lambek-Grishin Calculus

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

10.1007/978-3-662-47709-0_9 ◽

2015 ◽

pp. 109-123

Author(s):

Philippe de Groote

Download Full-text

Syllogistic Logic with “Most”

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

10.1007/978-3-662-47709-0_10 ◽

2015 ◽

pp. 124-139 ◽

Cited By ~ 5

Author(s):

Jörg Endrullis ◽

Lawrence S. Moss

Download Full-text

On Topologically Relevant Fragments of the Logic of Linear Flows of Time

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

10.1007/978-3-662-47709-0_3 ◽

2015 ◽

pp. 27-37

Author(s):

Bernhard Heinemann

Keyword(s):

Linear Flows

Download Full-text

Equational Properties of Stratified Least Fixed Points (Extended Abstract)

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

10.1007/978-3-662-47709-0_13 ◽

2015 ◽

pp. 174-188 ◽

Cited By ~ 4

Author(s):

Zoltán Ésik

Keyword(s):

Fixed Points

Download Full-text

An Equation-Based Classical Logic

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

10.1007/978-3-662-47709-0_4 ◽

2015 ◽

pp. 38-52 ◽

Cited By ~ 1

Author(s):

Andreia Mordido ◽

Carlos Caleiro

Keyword(s):

Classical Logic

Download Full-text

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing

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

10.1007/978-3-662-47709-0_5 ◽

2015 ◽

pp. 53-68 ◽

Cited By ~ 1

Author(s):

Vito Michele Abrusci ◽

Roberto Maieli

Keyword(s):

Linear Logic ◽

Proof Nets

Download Full-text

Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

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

10.1007/978-3-662-47709-0_2 ◽

2015 ◽

pp. 14-26

Author(s):

Liron Cohen ◽

Robert L. Constable

Keyword(s):

Programming Language

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Parametric Polymorphism — Universally

The Word Problem for Finitely Presented Quandles is Undecidable

Characterizing Frame Definability in Team Semantics via the Universal Modality

Proof-Theoretic Aspects of the Lambek-Grishin Calculus

Syllogistic Logic with “Most”

On Topologically Relevant Fragments of the Logic of Linear Flows of Time

Equational Properties of Stratified Least Fixed Points (Extended Abstract)

An Equation-Based Classical Logic

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing

Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

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