Institutions for Logic Programming (1997)

Cached

Download Links

by Fernando Orejas , Elvira Pino , Hartmut Ehrig
Venue:Theoretical Computer Science
Citations:4 - 1 self