Inproceedings,

The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.

, and .
Algorithmic Languages and Calculi, volume 95 of IFIP Conference Proceedings, page 382-414. Chapman & Hall, (1997)

Meta data

Tags

Users

  • @dblp

Comments and Reviews