DMCA
The Inverse Method (2001)
by
Anatoli Degtyarev
,
Andrei Voronkov
,
Second Readers Ullrich Hustadt
,
Gregory Mints
,
Frank Pfenning
,
Renate Schmidt
| Citations: | 15 - 1 self |
BibTeX
@MISC{Degtyarev01theinverse,
author = {Anatoli Degtyarev and Andrei Voronkov and Second Readers Ullrich Hustadt and Gregory Mints and Frank Pfenning and Renate Schmidt},
title = {The Inverse Method},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper every formula is equivalent to a formula in negation normal form
