Techniques of computable set theory with applications to proof verification (Q4884662)
From MaRDI portal
scientific article; zbMATH DE number 897297
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Techniques of computable set theory with applications to proof verification |
scientific article; zbMATH DE number 897297 |
Statements
Techniques of computable set theory with applications to proof verification (English)
0 references
5 December 1996
0 references
decidability of satisfiability
0 references
fragments of set theory
0 references
survey
0 references
tableau calculus
0 references
decision procedure
0 references
multi-sorted fragments
0 references
elementary graph theory
0 references
topological closure operator
0 references
proof verifier ETNA
0 references
