Teilbereiche in diesem Bereich

• Automata Theory and Algebraic Language Theory [0]

• Boundedness Issues in Fixed-Point Recursion [0]

• Expressive Power of Monadic Second-Order Logic [0]

• Finitely Representable Structures [0]

• Model Constructions and Decompositions [0]

• Model Constructions and Model-Theoretic Games in Special Classes of Structures [0]

Sammlungen in diesem Bereich