Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (Q4898739)
From MaRDI portal
scientific article; zbMATH DE number 6121111
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving |
scientific article; zbMATH DE number 6121111 |
Statements
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (English)
0 references
2 January 2013
0 references
resolution
0 references
theorem proving
0 references
PTTP
0 references
loop elimination
0 references
