Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Felix Klaedtke
Mechanizing the Powerset Construction for Restricted Classes of Ω-Automata
Related publications
Typeness for Ω-Regular Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Further Restricted Ω-Rule
Colloquium Mathematicum
Mathematics
On an Extremely Restricted Ω-Rule
Fundamenta Mathematicae
Number Theory
Algebra
Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism
On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence
The Impact of Alphabet Size on Pattern Complexity of Maxmin-$$\Omega$$ω Cellular Automata
Natural Computing
Computer Science Applications
Ω-Rational Languages: High Complexity Classes vs. Borel Hierarchy
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Powerset Residuated Algebras
Logic and Logical Philosophy
Philosophy
Construction of Tree Automata From Regular Expressions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Responsible Research for the Construction of Maximally Humanlike Automata: The Paradox of Unattainable Informed Consent
Ethics and Information Technology
Computer Science Applications
Library
Information Sciences