Sciweavers

47
Voted
IANDC
2000
44views more  IANDC 2000»
15 years 14 days ago
Uniform Generation of NP-Witnesses Using an NP-Oracle
Mihir Bellare, Oded Goldreich, Erez Petrank
53
Voted
IANDC
2000
64views more  IANDC 2000»
15 years 14 days ago
Bisimilarity in Term Graph Rewriting
Zena M. Ariola, Jan Willem Klop, Detlef Plump