Search CORE

9 research outputs found

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures

Author: Ganzow Tobias
Kaiser Lukasz
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/2010
Field of study

Publikationsserver der RWTH Aachen University

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures

Author: Ganzow Tobias
Kaiser Lukasz
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/2010
Field of study

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures

Author: B. Courcelle
D.A. Basin
H. Läuchli
J.A. Makowsky
J.R. Büchi
K.L. McMillan
M. Bojanczyk
M.O. Rabin
S. Shelah
W. Thomas
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2010
Field of study

Computer Science Logic 2012: 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France

Author: European Association for Computer Science Logic
Schloss Dagstuhl Leibniz-Zentrum für Informatik
Publication venue
Publication date: 01/09/2012
Field of study

Digitale Bibliothek Thüringen

24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7-10, 2015, Berlin, Germany

Author: Annual Conference on Computer Science Logic 24. 2015 Berlin
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Publication date: 01/09/2015
Field of study

Digitale Bibliothek Thüringen

35th Symposium on Theoretical Aspects of Computer Science: STACS 2018, February 28-March 3, 2018, Caen, France

Author: STACS
Publication venue: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date: 01/02/2018
Field of study

Digitale Bibliothek Thüringen

core

core