[AAT] Applied Automata Theory
[AGT] Algorithmische Graphentheorie
[Compiler] Compilerbau
[EffAlg] Effiziente Algorithmen
[FunkProg] Funktionale Programmierung
[InfComp] Infinite Computations
[KompTheo] Komplexitätstheorie
[LogProg] Logikprogrammierung
[MC] Model Checking
[Sat]Satisfiability Checking
[TA] Tree Automata
Fehlende Abkürzungen bitte in diesem Thread melden. Vielen Dank!
Please report missing abbreviations in this thread. Thank you!