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

DSpace Repository

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

Author: Berkholz, Christoph; Krebs, Andreas; Verbitsky, Oleg
Tübinger Autor(en):
Krebs, Andreas
Published in: Acm Transactions on Computational Logic (2015), Bd. 16, Article 21
Verlagsangabe: Assoc Computing Machinery
Language: English
Full text: http://dx.doi.org/10.1145/2732409
ISSN: 1529-3785
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)