Inclusions and subtypes I: First-order case
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 0955-792X
Any de publicació: 1996
Volum: 6
Número: 3
Pàgines: 409-438
Tipus: Article
ISSN: 0955-792X
Any de publicació: 1996
Volum: 6
Número: 3
Pàgines: 409-438
Tipus: Article