Login / Signup
Logical Equivalence for Subtyping Object and Recursive Types.
Steffen van Bakel
Ugo de'Liguoro
Published in:
Theory Comput. Syst. (2008)
Keyphrases
</>
data exchange
database
data sets