scientific article; zbMATH DE number 2086419

MaRDI QIDQ4736874zbMATH OpenFDO

Authors Achim Blumensath

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2285/22850596.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80)

Recommendations

• Axiomatising tree-interpretable structures
• Complete axiomatizations of fragments of monadic second-order logic on finite trees
• Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees
• A Combinatorial Theorem for Trees
• Transforming structures by set interpretations

Cited in

(10)

• Axiomatising extended computation tree logic
• Learning pattern languages over groups
• The complexity of verbal languages over groups
• Automatic learners with feedback queries
• Tree-automatic scattered linear orders
• A Hierarchy of Automaticω-Words having a Decidable MSO Theory
• scientific article; zbMATH DE number 475414 (Why is no real title available?)
• Learners based on transducers
• Axiomatising tree-interpretable structures
• Trees, grids, and MSO decidability: from graphs to matroids

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