scientific article; zbMATH DE number 2080202

MaRDI QIDQ4472444zbMATH OpenFDO

Authors Olivier Ly

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1974/19740188.htm

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85)

Recommendations

• The monadic quantifier alternation hierarchy over grids and graphs
• The monadic second-order logic of graphs. IV: Definability properties of equational graphs
• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
• scientific article; zbMATH DE number 4124985
• scientific article; zbMATH DE number 1290983

Cited in

(2)

• scientific article; zbMATH DE number 1223636 (Why is no real title available?)
• The monadic quantifier alternation hierarchy over grids and graphs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472444)