Say no to case analysis: automating the drudgery of case-based proofs (Q2117657)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Say no to case analysis: automating the drudgery of case-based proofs |
scientific article |
Statements
Say no to case analysis: automating the drudgery of case-based proofs (English)
0 references
22 March 2022
0 references
decision procedure
0 references
automata
0 references
case-based proof
0 references
algorithm
0 references
