Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 47, Number 3, 2010

Lifting non-finite axiomatizability results to extensions of process algebras
pp. 147-177(31)
Authors: Aceto, L.; Fokkink, W.; Ingolfsdottir, A.; Mousavi, M.


LR error repair using the A* algorithm
pp. 179-207(29)
Authors: Kim, I. S.; Yi, K.


  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more