Automata Theoretic Account of Proof Search (Q5351954)
From MaRDI portal
scientific article; zbMATH DE number 6767592
Language | Label | Description | Also known as |
---|---|---|---|
English | Automata Theoretic Account of Proof Search |
scientific article; zbMATH DE number 6767592 |
Statements
31 August 2017
0 references
simple types
0 references
automata
0 references
trees
0 references
languages of proofs
0 references
Automata Theoretic Account of Proof Search (English)
0 references