RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA (Q5248980)
From MaRDI portal
scientific article; zbMATH DE number 6431988
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA |
scientific article; zbMATH DE number 6431988 |
Statements
RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA (English)
0 references
29 April 2015
0 references
automaton with concurrency relations
0 references
recognizable language
0 references
monadic second-order logic
0 references
Mazurkiewicz trace
0 references
conditional independence
0 references
