Achim Blumensath

Available identifiers

zbMath Open blumensath.achimWikidataQ102299635 ScholiaQ102299635MaRDI QIDQ420849

List of research outcomes

Publication	Date of Publication	Type
The Power-Set Construction for Tree Algebras	2024-01-16	Paper
ω-Forest Algebras and Temporal Logics.	2023-08-08	Paper
Bisimulation Invariant Monadic-Second Order Logic in the Finite	2021-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4989401	2021-05-25	Paper
Bisimulation invariant monadic-second order logic in the finite	2020-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q5216308	2020-02-17	Paper
Two-way cost automata and cost logics over infinite trees	2018-04-23	Paper
On a Fragment of AMSO and Tiling Systems	2018-01-24	Paper
A syntactic congruence for languages of birooted trees	2016-02-01	Paper
Asymptotic Monadic Second-Order Logic	2014-10-14	Paper
Decidability results for the boundedness problem	2014-09-05	Paper
Monadic second-order definable graph orderings	2014-01-22	Paper
Book review of: Bruno Courcelle and Joost Engelfriet, Graph structure and monadic second-order logic	2014-01-17	Paper
An algebraic proof of Rabin's tree theorem	2013-06-06	Paper
Erratum to: ``On the structure of graphs in the Caucal hierarchy	2013-03-04	Paper
Locality and modular Ehrenfeucht-Fraïssé games	2012-05-23	Paper
Simple monadic theories and partition width	2011-09-27	Paper
Recognisability for algebras of infinite trees	2011-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q3086920	2011-03-30	Paper
Simple monadic theories and indiscernibles	2011-02-22	Paper
On the Monadic Second-Order Transduction Hierarchy	2010-07-27	Paper
Guarded Second-Order Logic, Spanning Trees, and Network Flows	2010-03-15	Paper
Boundedness of Monadic Second-Order Formulae over Finite Words	2009-07-14	Paper
On the structure of graphs in the Caucal hierarchy	2008-06-24	Paper
A model-theoretic characterisation of clique width	2006-09-14	Paper
Recognizability, hypergraph operations, and logical types	2006-07-12	Paper
An Extension of Muchnik's Theorem	2005-04-29	Paper
Finite presentations of infinite structures: Automata and interpretations	2005-02-24	Paper
Axiomatising tree-interpretable structures	2005-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4736874	2004-08-11	Paper
The Monadic Theory of Tree-like Structures	2003-07-16	Paper
Automata for Guarded Fixed Point Logics	2003-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q2753676	2001-11-11	Paper

Research outcomes over time

This page was built for person: Achim Blumensath