Login / Signup
Using Structural Recursion for Corecursion
Yves Bertot
Ekaterina Komendantskaya
Published in:
CoRR (2009)
Keyphrases
</>
structural information
deductive databases
complex objects
information retrieval
data mining
computer vision
object recognition
expert systems
mobile devices
data model
wireless sensor networks
management system
information retrieval systems
logic programming
first order logic