Search Results - "Kuper, G.M."
-
1
Constraint Query Languages
Published in Journal of computer and system sciences (01-08-1995)“…We investigate the relationship between programming with constraints and database query languages. We show that efficient, declarative database programming can…”
Get full text
Journal Article -
2
Efficient parallel algorithms for anti-unification and relative complement
Published in [1988] Proceedings. Third Annual Symposium on Logic in Computer Science (1988)“…Parallel algorithms and computational complexity results are given for two problems; computing the relative complement of terms and antiunification. The…”
Get full text
Conference Proceeding