More existence theorems for recursion categories.

Flórián Lengyel

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

fixed point theorem
fixed point
database
information systems
mobile robot
complex objects
deductive databases
real world
website
query answering
object categories
boundary conditions
category specific
complementarity problems