Electronic Resource
Springer
Journal of automated reasoning
11 (1993), S. 23-41
ISSN:
1573-0670
Keywords:
Abstraction
;
inconsistent abstract spaces
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Abstraction has been widely used in automated deduction; a major problem with its use is that the abstract space can be inconsistent even though the ground space is consistent. We show that, under certain very weak conditions true of practically all the abstractions used in the past (but true also of a much wider class of abstractions), this problem cannot be avoided.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00881899
Permalink
|
Location |
Call Number |
Expected |
Availability |