ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

The inevitability of inconsistent abstract spaces (1993)

Giunchiglia, Fausto ; Walsh, Toby

Springer

Journal of automated reasoning 11 (1993), S. 23-41

add to mindlist on the mindlist

Details

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

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit