scientific article; zbMATH DE number 2080202

zbMATH Open1044.03006MaRDI QIDQ4472444FDOQ4472444

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Title not available (Why is that?)
• 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)