Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Henryk Michalewski
On the Decidability of MSO+U on Infinite Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Decidability of Periodicity for Infinite Words
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
The Topological Complexity of MSO+U and Related Automata Models
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
On the Decidability of FDNC Programs
Intelligenza Artificiale
Artificial Intelligence
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Infinite Characters on GL(Q), on SL (Z), and on Groups Actingt on Trees
Journal of Functional Analysis
Analysis
Excluding Infinite Trees
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
On the Decidability of Functional Uncertainty
On the Decidability of Query Containment Under Constraints
