Volume 44; Issue 1

Acta Informatica

Volume 44; Issue 1
1

ParallelLLparsing

Year:
2007
Language:
english
File:
PDF, 535 KB
english, 2007
2

ParallelLLparsing

Year:
2007
Language:
english
File:
PDF, 66 KB
english, 2007
3

An exact subexponential-time lattice algorithm for Asian options

Year:
2007
Language:
english
File:
PDF, 315 KB
english, 2007
4

On using data abstractions for model checking refinements

Year:
2007
Language:
english
File:
PDF, 444 KB
english, 2007