Inductive-data-type Systems

Frédéric Blanqui Jean-Pierre Jouannaud Mitsuhiro Okada

Published in: CoRR (2006)

Keyphrases

data types
distributed systems
machine learning
data structure
computer systems
data model
data formats
database management systems
computing systems