Automata, Languages and Programming

DOI10.1007/B99859zbMath1099.68639OpenAlexW2505584480MaRDI QIDQ5466543

Nicole Schweikardt

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99859

zbMATH Keywords

monadic second-order logicfixed point logicfinite model theorydescriptive complexity theorylinear time complexity classes

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Related Items (1)

On the expressive power of monadic least fixed point logic

This page was built for publication: Automata, Languages and Programming