A Coinduction Principle for Recursive Data Types Based on Bisimulation.

Marcelo P. Fiore

Published in: Inf. Comput. (1996)

Keyphrases

data types
data model
database management systems
user defined
data structure
database systems
back end
database server
data formats
databases
data manipulation language
data mining algorithms
database objects
machine learning
nearest neighbor
abstract data types
database