Eventual periodicity and ``one-dimensional queries
From MaRDI portal
Publication:1203791
DOI10.1305/ndjfl/1093636105zbMath0768.03002OpenAlexW2056059644MaRDI QIDQ1203791
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
multigraphmonadic second order logicpebble gamechainlike graphsmonadic least fixed point logicmonadic second order queries
Database theory (68P15) Automata and formal grammars in connection with logical questions (03D05) Directed graphs (digraphs), tournaments (05C20)
Related Items