A Confluent Relational Calculus for Higher-Order Programming with Constraints (1994)

Cached

Download Links

by Joachim Niehren , Gert Smolka
Venue:Proc. 1st Int. Conference on Constraints in Computational Logics (CCL'94
Citations:6 - 4 self