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

Author:

Krebs, Andreas; Straubing, Howard

Tübinger Autor(en):

Published in:

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

Verlagsangabe:

Assoc Computing Machinery

Language:

English

Full text:

ISSN:

1557-945X

DDC Classifikation:

004 - Data processing and computer science
610 - Medicine and health

Dokumentart:

Article

This item appears in the following Collection(s)