556 search results - page 63 / 112 » Generic Properties of Datatypes |
WETICE
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
DAWAK
2000
Springer
14 years 1 months ago
2000
Springer
In data mining, searching for frequent patterns is a common basic operation. It forms the basis of many interesting decision support processes. In this paper we present a new type ...
FCT
1999
Springer
14 years 1 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
TACS
1994
Springer
14 years 26 days ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...