Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling (2001)

Cached

Download Links

by Annalisa Bossi , Sandro Etalle , Sabina Rossi , Jan-georg Smaus
Venue:Proceedings of the European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science
Citations:3 - 2 self