|
1 |
Spatial Existential Positive Logics for Hyperedge Replacement Grammars
Nakamura, Yoshiki. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
|
2 |
Conjunctive Grammars, Cellular Automata and Logic
Grente, Théo. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
3 |
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Jansen, Christina. - Aachen : Universitätsbibliothek der RWTH Aachen, 2017
|
|
|
|
4 |
Tree Grammars for the Elimination of Non-prenex Cuts
Hetzl, Stefan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
|
|
|
5 |
The logic of categorial grammars
Moot, Richard. - Berlin : Springer, 2012
|
|
|
|
6 |
The Logic of Categorial Grammars
Moot, Richard. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
7 |
Dependency structures and lexicalized grammars
Kuhlmann, Marco. - Berlin : Springer, 2010
|
|
|
|
8 |
Timed Definite Clause Omega-Grammars
Saeedloei, Neda. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
9 |
International Workshop Grammars, Automata, and Logic on Graphs and Trees
International Workshop on Grammars, Automata, and Logic on Graphs and Trees (1999 : Dresden). - Dresden : TU, Fak. Informatik, 1999
|
|
|
|
10 |
Off-line compilation for efficient processing with constraint logic grammars
Minnen, Guido. - Stuttgart : Univ., Sonderforschungsbereich 340, 1998
|
|
Administration
