Login / Signup
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus.
Florent Jacquemard
Étienne Lozes
Ralf Treinen
Jules Villard
Published in:
TOSCA (2011)
Keyphrases
</>
higher order
theoretical framework
neural network
logical theories
moving objects
video frames
temporal relations