A flexible architecture for performance experiments with the pi-Calculus and its extensions.

Stefan Leye Mathias John Adelinde M. Uhrmacher

Published in: SimuTools (2010)

Keyphrases

efficient implementation
search algorithm
medical images
automated theorem proving
databases
learning algorithm
default theories
automated deduction
computer algebra