Interactive proof systems and alternating time-space complexity

From MaRDI portal
Publication:685437

DOI10.1016/0304-3975(93)90210-KzbMath0777.68039MaRDI QIDQ685437

Lance J. Fortnow, Carstent Lund

Publication date: 15 December 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)




Related Items



Cites Work