Formal Grammar - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662530412, 9783662530429

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_19 ◽

2018 ◽

pp. E1-E2

Author(s):

Christian Wurm ◽

Timm Lichte

Keyword(s):

Proper Treatment

Download Full-text

Undecidability of the Lambek Calculus with a Relevant Modality

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_14 ◽

2016 ◽

pp. 240-256 ◽

Cited By ~ 6

Author(s):

Max Kanovich ◽

Stepan Kuznetsov ◽

Andre Scedrov

Keyword(s):

Lambek Calculus

Download Full-text

Algebraic Governance and Symmetry in Dependency Grammars

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_4 ◽

2016 ◽

pp. 60-76

Author(s):

Carles Cardó

Download Full-text

Introducing a Calculus of Effects and Handlers for Natural Language Semantics

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_15 ◽

2016 ◽

pp. 257-272

Author(s):

Jirka Maršík ◽

Maxime Amblard

Keyword(s):

Natural Language ◽

Natural Language Semantics ◽

Language Semantics

Download Full-text

Models for the Displacement Calculus

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_9 ◽

2016 ◽

pp. 147-163 ◽

Cited By ~ 2

Author(s):

Oriol Valentín

Download Full-text

Between the Event Calculus and Finite State Temporality

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_7 ◽

2016 ◽

pp. 112-129

Author(s):

Derek Kelleher ◽

Tim Fernando ◽

Carl Vogel

Keyword(s):

Event Calculus ◽

Finite State

Download Full-text

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

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_3 ◽

2016 ◽

pp. 43-59 ◽

Cited By ~ 1

Author(s):

Vito Michele Abrusci ◽

Roberto Maieli

Keyword(s):

Linear Logic ◽

Proof Nets

Download Full-text

Types from Frames as Finite Automata

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_2 ◽

2016 ◽

pp. 19-40 ◽

Cited By ~ 1

Author(s):

Tim Fernando

Keyword(s):

Finite Automata

Download Full-text

On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_10 ◽

2016 ◽

pp. 164-179 ◽

Cited By ~ 2

Author(s):

Christian Wurm

Keyword(s):

Concept Lattices

Download Full-text

Word Ordering as a Graph Rewriting Process

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_13 ◽

2016 ◽

pp. 216-239

Author(s):

Sylvain Kahane ◽

François Lareau

Keyword(s):

Graph Rewriting

Download Full-text

Formal Grammar - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Erratum to: The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra

Undecidability of the Lambek Calculus with a Relevant Modality

Algebraic Governance and Symmetry in Dependency Grammars

Introducing a Calculus of Effects and Handlers for Natural Language Semantics

Models for the Displacement Calculus

Between the Event Calculus and Finite State Temporality

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

Types from Frames as Finite Automata

On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results

Word Ordering as a Graph Rewriting Process

Formal Grammar - Lecture Notes in Computer Science
Latest Publications