Inclusions and subtypes I: First-order case

  1. Martí-Oliet, N.
  2. Meseguer, J.
Journal:
Journal of Logic and Computation

ISSN: 0955-792X

Year of publication: 1996

Volume: 6

Issue: 3

Pages: 409-438

Type: Article

DOI: 10.1093/LOGCOM/6.3.409 GOOGLE SCHOLAR
Data source: Scopus