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

View PDF

Download Links

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