Sciweavers

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