Category-based Modularisation for Equational Logic Programming (1996)

Cached

Download Links

by Razvan Diaconescu
Venue:Acta Informatica
Citations:5 - 5 self