<journal article>
AN ANATOMY OF ABSTRACTION

Creator
Language
Publisher
Date
Source Title
Vol
Issue
First Page
Last Page
Publication Type
Access Rights
Crossref DOI
Related DOI
Related URI
Relation
Abstract The use of the abstraction in resolution theorem proving is proposed in order to obtain some global proof plans. Then the problem is how to avoid the false proof. We give a new definition of the shape...s of proofs so that we can make use of unifiers occurring in the proofs and discuss some typical abstractions. Then we can clarify that such abstractions are concerned with the unifiers. Moreover, we can give a complete strategy with matching. Our formalization will be useful to the further discussions on abstractions.show more

Hide fulltext details.

pdf p179 pdf 527 KB 335  

Details

PISSN
EISSN
NCID
Record ID
Peer-Reviewed
Type
Created Date 2009.04.22
Modified Date 2020.10.22

People who viewed this item also viewed