On the Hoare theory of monadic recursion schemes.

Konstantinos Mamouras

Published in: CSL-LICS (2014)

Keyphrases

deductive databases
datalog programs
general theory
theoretical framework
theoretical basis
database
neural network
expert systems
search engine
image processing
wireless sensor networks
complex objects
transitive closure
formal theory