Login / Signup
Corrigendum to "Inductive-data-type systems" [Theoret. Comput. Sci. 272 (1-2) (2002) 41-68].
Frédéric Blanqui
Jean-Pierre Jouannaud
Mitsuhiro Okada
Published in:
Theor. Comput. Sci. (2020)
Keyphrases
</>
data types
data formats
distributed systems
data structure
database management systems
database systems
expert systems
data model
databases
machine learning
general purpose
computer systems