From Proof Nets to the Free *-Autonomous Category

François Lamarche Lutz Straßburger

Published in: CoRR (2006)

Keyphrases

theorem proving
cooperative
robotic systems
proof planning
real time
evolutionary algorithm
information retrieval
decision making
object categories
multiple agents
autonomous navigation
geometry theorem proving