Coinductive Axiomatization of Recursive Type Equality and Subtyping.

Michael Brandt Fritz Henglein

Published in: TLCA (1997)

Keyphrases

real time
website
query answering
databases
metadata
objective function
search algorithm
integrity constraints