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

DSpace Repository

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

Author: Krebs, Andreas; Straubing, Howard
Tübinger Autor(en):
Krebs, Andreas
Published in: Acm Transactions on Computational Logic (2017), Bd. 18, Article 30
Verlagsangabe: Assoc Computing Machinery
Language: English
Full text: http://dx.doi.org/10.1145/3149822
ISSN: 1557-945X
DDC Classifikation: 004 - Data processing and computer science
610 - Medicine and health
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)