scientific article

zbMATH Open0747.05090MaRDI QIDQ4006543

Konstantin Yu. Gorbunov

Publication date: 26 September 1992

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

zbMATH Keywords

decision treedecidability of graphsmonadic theory of a tree

Mathematics Subject Classification ID

Trees (05C05) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Graph theory (05C99) Other infinitary logic (03C75)

Related Items (2)

Title not available (Why is that?) ⋮ Context-Free Graph Properties via Definable Decompositions

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