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
Reviews, Bull. Symbolic Logic 19, iss. 3 (2013)	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Achim Blumensath