Axiomatising finite delay operators (Q1055190)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatising finite delay operators |
scientific article |
Statements
Axiomatising finite delay operators (English)
0 references
1984
0 references
language for finite automata
0 references
delay operators
0 references
complete axiomatisation for finite terms
0 references
