Fragments of first-order logic over infinite words - Computer Science > Formal Languages and Automata TheoryReport as inadecuate




Fragments of first-order logic over infinite words - Computer Science > Formal Languages and Automata Theory - Download this document for free, or read online. Document in PDF available to download.

Abstract: We give topological and algebraic characterizations as well as languagetheoretic descriptions of the following subclasses of first-order logic FO


Author: Volker Diekert, Manfred Kufleitner

Source: https://arxiv.org/







Related documents