Fragments of Fixpoint Logic on Data Words (Q5278313)
From MaRDI portal
scientific article; zbMATH DE number 6744911
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fragments of Fixpoint Logic on Data Words |
scientific article; zbMATH DE number 6744911 |
Statements
13 July 2017
0 references
data words
0 references
data automata
0 references
fixpoint logic
0 references
Fragments of Fixpoint Logic on Data Words (English)
0 references
