A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi (1999)

Cached

Download Links

by Mircea Marin , Tetsuo Ida , Wolfgang Schreiner
Citations:1 - 0 self