Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Hi-index | 0.00 |