Sciweavers

13306 search results - page 88 / 2662
» Theoretical Computer Science
Sort
View
STACS
1994
Springer
15 years 10 months ago
Optimal Parallelization of Las Vegas Algorithms
Michael Luby, Wolfgang Ertel
WG
1990
Springer
15 years 10 months ago
Diagnosis of t/s-Diagnosable Systems
Anindya Das, Krishnaiyan Thulasiraman
RTA
2010
Springer
15 years 10 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret