|
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, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
6 |
Timed Definite Clause Omega-Grammars
Saeedloei, Neda. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
7 |
Logic Grammars
Abramson, Harvey. - New York, NY : Springer New York, 1989
|
|
|
8 |
Infinitary Action Logic: Complexity, Models and Grammars
Enthalten in Studia logica Bd. 89, 24.5.2008, Nr. 1, date:6.2008: 1-18
|
|
|
|
9 |
Predicate Logic Based Image Grammars for Complex Pattern Recognition
Enthalten in International journal of computer vision Bd. 93, 28.9.2010, Nr. 2, date:6.2011: 141-161
|
|
Administration
