An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

Autor(en):

Krebs, Andreas; Straubing, Howard

Tübinger Autor(en):

Erschienen in:

Acm Transactions on Computational Logic (2017), Bd. 18, Article 30

Verlagsangabe:

Assoc Computing Machinery

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1557-945X

DDC-Klassifikation:

004 - Informatik
610 - Medizin, Gesundheit

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: