Systolic tree \(\omega\)-languages: The operational and the logical view
type: Item
instance of: scholarly article
title: Systolic tree \(\omega\)-languages: The operational and the logical view
zbMATH Open document ID: 0952.68081
DOI: 10.1016/S0304-3975(97)00257-0
author: Angelo Monti
author: Adriano Peron
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1495221
zbMATH Keywords: systolic tree automata
zbMATH Keywords: \(\omega\)-languages
zbMATH Keywords: Büchi \(\omega\)-languages
zbMATH Keywords: SIS
MaRDI profile type: Publication
cites work: Q5525343
cites work: Q3687724
cites work: Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
cites work: Modalities for model checking: Branching time logic strikes back
cites work: Synthesis, structure and power of systolic computations
cites work: Systolic tree ω-languages
cites work: Completeness results concerning systolic tree automata and E0L languages
cites work: The complementation problem for Büchi automata with applications to temporal logic
cites work: Q4385530
description: scientific article; zbMATH DE number 1495221