Computability Over Structures of Infinite Signature.

Armin Hemmerling

Published in: Math. Log. Q. (1998)

Keyphrases

real time
high level
databases
data structure
multi agent systems
mobile robot
tree structures