A Formal Approach to Deductive Synthesis of Constraint Logic Programs (1995)

Cached

Download Links

by Kung-kiu Lau , Mario Ornaghi
Venue:Proc. 1995 Int. Logic Programming Symp
Citations:8 - 6 self