![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
20./21. FG 2015/2016: Barcelona, Spain / Bozen, Italy
- Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla:
Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings. Lecture Notes in Computer Science 9804, Springer 2016, ISBN 978-3-662-53041-2
Formal Grammar 2015: Invited Papers
- Robin Cooper:
Frames as Records. 3-18 - Tim Fernando:
Types from Frames as Finite Automata. 19-40
Formal Grammar 2015: Contributed Papers
- Vito Michele Abrusci, Roberto Maieli
:
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing. 43-59 - Carles Cardó:
Algebraic Governance and Symmetry in Dependency Grammars. 60-76 - Laura Kallmeyer:
On the Mild Context-Sensitivity of k-Tree Wrapping Grammar. 77-93 - Makoto Kanazawa, Ryo Yoshinaka
:
Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars. 94-111 - Derek Kelleher, Tim Fernando, Carl Vogel
:
Between the Event Calculus and Finite State Temporality. 112-129 - Hans-Ulrich Krieger, Stefan Schulz:
A Modal Representation of Graded Medical Statements. 130-146 - Oriol Valentín
:
Models for the Displacement Calculus. 147-163 - Christian Wurm:
On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results. 164-179
Formal Grammar 2016: Contributed Papers
- María Inés Corbalán, Glyn Morrill:
Overtly Anaphoric Control in Type Logical Grammar. 183-199 - Thomas Graf, Alëna Aksënova, Aniello De Santo
:
A Single Movement Normal Form for Minimalist Grammars. 200-215 - Sylvain Kahane, François Lareau:
Word Ordering as a Graph Rewriting Process. 216-239 - Max I. Kanovich, Stepan L. Kuznetsov
, Andre Scedrov
:
Undecidability of the Lambek Calculus with a Relevant Modality. 240-256 - Jirka Marsík, Maxime Amblard:
Introducing a Calculus of Effects and Handlers for Natural Language Semantics. 257-272 - Richard Moot:
Proof Nets for the Displacement Calculus. 273-289 - Peter R. Sutton, Hana Filip:
Countability: Individuation and Context. 290-305 - Christian Wurm, Timm Lichte:
The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra. 306-322
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.