scientific article

zbMATH Open0455.68034MaRDI QIDQ3904052

Richard E. Ladner

Publication date: 1980

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

zbMATH Keywords

monadic second order theoryregular setfinite models of monadic sentences of linear order

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Model theory (03C99) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Total orders (06A05)

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 Q3904052)