On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract). Conference Paper uri icon

name of conference

  • Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings

author list (cited authors)

  • Cai, L., & Chen, J.

complete list of authors

  • Cai, L||Chen, J

publication date

  • January 1993