The Value-Passing Calculus.

Published in: Theories of Programming and Formal Methods (2013)

Keyphrases

algebraic structure
automated theorem proving
machine learning
artificial intelligence
search engine
computer vision
image processing
web services
video sequences
evolutionary algorithm
knowledge representation
model checking
proof procedure
automated deduction
timed automata