4008 search results - page 34 / 802 » An expressive language of signatures |
APLAS
2004
ACM
14 years 3 months ago
2004
ACM
NLDB
2004
Springer
14 years 3 months ago
2004
Springer
LRE
2010
13 years 4 months ago
2010
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
SSDBM
2003
IEEE
14 years 3 months ago
2003
IEEE
MoBIoS is a specialized database management system whose storage manager is based on metric-space indexing, and whose query language entails biological data types. When relational...