Reversing Algebraic Process Calculi.

Iain C. C. Phillips Irek Ulidowski

Published in: FoSSaCS (2006)

Keyphrases

artificial intelligence
higher order
data mining
case study
evolutionary algorithm
logic programs