Fragments of first-order logic over infinite words - Computer Science > Formal Languages and Automata TheoryReportar como inadecuado




Fragments of first-order logic over infinite words - Computer Science > Formal Languages and Automata Theory - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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


Autor: Volker Diekert, Manfred Kufleitner

Fuente: https://arxiv.org/







Documentos relacionados