|
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 |
Tree Grammars for the Elimination of Non-prenex Cuts Hetzl, Stefan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
|
|
|
4 |
Timed Definite Clause Omega-Grammars Saeedloei, Neda. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
5 |
Infinitary Action Logic: Complexity, Models and Grammars Enthalten in Studia logica Bd. 89, 24.5.2008, Nr. 1, date:6.2008: 1-18
|
|
|
6 |
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
|
|