Calculus in Coinductive Form.

Dusko Pavlovic Martín Hötzel Escardó

Published in: LICS (1998)

Keyphrases

databases
real time
search algorithm
database
neural network
decision making
web pages
multi agent
data structure
multiresolution
knowledge representation
natural deduction