Say no to case analysis: automating the drudgery of case-based proofs (Q2117657)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Say no to case analysis: automating the drudgery of case-based proofs |
scientific article; zbMATH DE number 7495101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Say no to case analysis: automating the drudgery of case-based proofs |
scientific article; zbMATH DE number 7495101 |
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
