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

Publisher: Springer Science and Media

Volume 44, Number 1, 2007

Parallel LL parsing
pp. 1-21(21)
Authors: Vagner, L.; Melichar, B. i.

Favourites:
ADD

An exact subexponential-time lattice algorithm for Asian options
pp. 23-39(17)
Authors: Dai, T. S.; Lyuu, Y. D.

Favourites:
ADD

On using data abstractions for model checking refinements
pp. 41-71(31)
Authors: Derrick, J.; Wehrheim, H.

Favourites:
ADD

Parallel LL parsing
pp. 73-73(1)
Authors: Vagner, L.; Melichar, B. i.

Favourites:
ADD

  • 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
X
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