scientific article; zbMATH DE number 549854
From MaRDI portal
Publication:4287358
zbMath0801.68062MaRDI QIDQ4287358
Publication date: 12 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (6)
The power of adaptiveness and additional queries in random-self- reductions ⋮ An information-theoretic treatment of random-self-reducibility ⋮ Average-case intractability vs. worst-case intractability ⋮ Locally random reductions: Improvements and applications ⋮ A nonadaptive NC checker for permutation group intersection ⋮ Cryptographic limitations on parallelizing membership and equivalence queries with applications to random-self-reductions
This page was built for publication: