111 search results - page 23 / 23 » A Proof of Strong Normalisation using Domain Theory |
LOCA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...