1
Publicerad 2008
Innehållsförteckning: ... with a Sublinear Additive Error -- Simpler Linear-Time Modular Decomposition Via Recursive Factorizing...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2005
Innehållsförteckning: ... -- Approximability -- Logspace Optimization Problems and Their Approximability Properties -- A Faster and Simpler 2...
Hämta fulltext
Elektronisk E-bok