Login / Signup

Equations Between Regular Terms and an Application to Process Logic.

Rohit ParikhAshok K. ChandraJoseph Y. HalpernAlbert R. Meyer
Published in: SIAM J. Comput. (1985)
Keyphrases
  • learning algorithm
  • image processing
  • case study
  • evolutionary algorithm
  • logic programming