Sign in

Reversing Algebraic Process Calculi.

Iain C. C. PhillipsIrek Ulidowski
Published in: FoSSaCS (2006)
Keyphrases
  • artificial intelligence
  • higher order
  • data mining
  • case study
  • evolutionary algorithm
  • logic programs