Sign in

Translating Pi-Calculus into LOTOS NT.

Radu MateescuGwen Salaün
Published in: IFM (2010)
Keyphrases
  • temporal ordering
  • artificial intelligence
  • data sets
  • computer vision
  • similarity measure
  • automated deduction
  • computer algebra
  • sequent calculus