Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

1 - 5 von 5

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (1)

Alle Standorte > Online (frei zugänglich) (5)

Aktionen

Administration