Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy

Autor(en):

Berkholz, Christoph; Krebs, Andreas; Verbitsky, Oleg

Tübinger Autor(en):

Erschienen in:

Acm Transactions on Computational Logic (2015), Bd. 16, Article 21

Verlagsangabe:

Assoc Computing Machinery

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1529-3785

DDC-Klassifikation:

004 - Informatik
610 - Medizin, Gesundheit

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: