Program Derivation = Rules + Strategies (2001)

Cached

Download Links

by Alberto Pettorossi , Maurizio Proietti
Venue:Computational Logic: Logic Programming and Beyond (Essays in honour of Bob Kowalski, Part I), Lecture Notes in Computer Science 2407
Citations:4 - 2 self