Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: tit all "Logic grammars."
im Bestand: Gesamter Bestand

1 - 5 von 5

	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	Timed Definite Clause Omega-Grammars Saeedloei, Neda. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010