Login / Signup

Coinductive Predicates as Final Coalgebras.

Milad Niqui Jan Rutten

Published in: FICS (2009)

Keyphrases

databases
genetic algorithm
case study
high level
digital libraries
special case