Inproceedings,

Linear Space Algorithm for On-line Detection of Global Predicates.

, , and .
STRICT, page 175-189. Springer, (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews