Infinite and bi-infinite words with decidable monadic theories

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: Logical methods in computer science(14, 2008), H. 3

Event
Veröffentlichung
(where)
Ilmenau
(who)
TU Ilmenau
(when)
2018
Creator
Kuske, Dietrich
Liu, Jiamou
Moskvina, Anastasia

DOI
10.23638/LMCS-14(3:9)2018
URN
urn:nbn:de:101:1-2019090506143624166406
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:53 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Time of origin

  • 2018

Other Objects (12)

Infinite and bi-infinite words with decidable monadic theories

Infinite and bi-infinite words with decidable monadic theories

Rankers over infinite words

Rankers over infinite words

Finite acceptance of infinite words

Finite acceptance of infinite words

Strict dissipativity for generalized linear-quadratic problems in infinite dimensions

Strict dissipativity for generalized linear-quadratic problems in infinite dimensions

Locally threshold testable languages of infinite words

Locally threshold testable languages of infinite words

First-order fragments with successor over infinite words

First-order fragments with successor over infinite words

Fragments of first-order logic over infinite words

Fragments of first-order logic over infinite words

On infinite graphs and infinite groups

On infinite graphs and infinite groups

Infinite walk

Bildband

Infinite walk

Infinite worlds

Infinite worlds

The infinite

The infinite

Infinite Probabilistic Databases

zweidimensionales bewegtes Bild

Infinite Probabilistic Databases

Related objects