Sciweavers

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