Proof of a S. Mac Lane Conjecture.

Sergei Soloviev

Published in: Category Theory and Computer Science (1995)

Keyphrases

traffic flow
theorem prover
theorem proving
linear logic
computer vision
multi agent systems
automated theorem proving
multi agent
edge detection
proof theory
lane change
mathematical proofs