Automata theory approach to predicate intuitionistic logic (Q2409748)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automata theory approach to predicate intuitionistic logic |
scientific article |
Statements
Automata theory approach to predicate intuitionistic logic (English)
0 references
13 October 2017
0 references