| 
|
Quote: a computation system contains tokens that are occurrences of symbols outside the system; equivalent if symbols equivalent
topics >
all references >
references i-l >
Group:
database model
Quotation Skeleton
A computation system contains tokens, which are occurrences … The mapping Sym: Token->Symbol is a total (and … "object" are two tokens, each being an occurrence … much like the copies of a book in … [p. 30] the equality predicate over tokens t_1 = … Google-1 Google-2
Copyright clearance needed for quotation.
Group: database model (15 topics, 314 quotes)