General Recursion and Formal Topology

Claudio Sacerdoti Coen Silvio Valentini

Published in: PAR (2010)

Keyphrases

special case
real time
closely related
databases
information retrieval
information systems
metadata
image processing
website
similarity measure
mobile robot
formal model
deductive databases
formal models