Cyclic proofs for transfinite expressions (Q6124956)
From MaRDI portal
scientific article; zbMATH DE number 7830379
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cyclic proofs for transfinite expressions |
scientific article; zbMATH DE number 7830379 |
Statements
10 April 2024
0 references
transfinite expressions
0 references
transfinite automata
0 references
cyclic proofs
0 references
Cyclic proofs for transfinite expressions (English)
0 references
