Eventual periodicity and ``one-dimensional queries

DOI10.1305/ndjfl/1093636105zbMath0768.03002OpenAlexW2056059644MaRDI QIDQ1203791

Gregory Loren McColm

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636105

zbMATH Keywords

multigraphmonadic second order logicpebble gamechainlike graphsmonadic least fixed point logicmonadic second order queries

Mathematics Subject Classification ID

Database theory (68P15) Automata and formal grammars in connection with logical questions (03D05) Directed graphs (digraphs), tournaments (05C20)

Related Items

The dimension of the negation of transitive closure ⋮ Unnamed Item