Inclusions and subtypes I: First-order case
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 0955-792X
Datum der Publikation: 1996
Ausgabe: 6
Nummer: 3
Seiten: 409-438
Art: Artikel
ISSN: 0955-792X
Datum der Publikation: 1996
Ausgabe: 6
Nummer: 3
Seiten: 409-438
Art: Artikel