2018-06-04Dissertation
Complexity of Normal Forms on Structures of Bounded Degree
Heimberg, Lucas
Normalformen drücken semantische Eigenschaften einer Logik durch syntaktische Restriktionen aus. Sie ermöglichen es Algorithmen, Grenzen der Ausdrucksstärke einer Logik auszunutzen. Ein Beispiel ist die Lokalität der Logik ...