Projekt

Vereinheitlichung struktureller Grundlagen der Algorithmik

Algorithmic Meta-Theorems, First-Order Logic, Model-Checking, Sparsity Theory, Nowhere Dense, Monadic Stability And Monadic Dependence (Nip), Naturwissenschaften, Informatik, Theoretische Informatik

• Algorithmic Meta-Theorems
• First-Order Logic
• Model-Checking
• Sparsity Theory
• Nowhere Dense
• Monadic Stability And Monadic Dependence (Nip)
• Naturwissenschaften
• Informatik