Sciweavers

IANDC
2000
44views more  IANDC 2000»
13 years 5 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 5 months ago
Bisimilarity in Term Graph Rewriting
Zena M. Ariola, Jan Willem Klop, Detlef Plump