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

Author:

Berkholz, Christoph; Krebs, Andreas; Verbitsky, Oleg

Tübinger Autor(en):

Published in:

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

Verlagsangabe:

Assoc Computing Machinery

Language:

English

Full text:

ISSN:

1529-3785

DDC Classifikation:

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

Dokumentart:

Article

This item appears in the following Collection(s)