Coinductive Axiomatization of Recursive Type Equality and Subtyping.

Michael Brandt Fritz Henglein

Published in: Fundam. Informaticae (1998)

Keyphrases

data sets
medical images
databases
artificial intelligence
data structure
lower bound
expert systems
general theory