Login / Signup

A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis.

Christine RöcklDaniel Hirschkoff
Published in: J. Funct. Program. (2003)
Keyphrases
  • natural deduction
  • natural language processing
  • case study
  • statistical analysis
  • quantitative analysis
  • data sets
  • neural network
  • data mining
  • search engine
  • data analysis