Automata for Guarded Fixed Point Logics (Q4412842)
From MaRDI portal
scientific article; zbMATH DE number 1950135
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automata for Guarded Fixed Point Logics |
scientific article; zbMATH DE number 1950135 |
Statements
Automata for Guarded Fixed Point Logics (English)
0 references
16 July 2003
0 references
