Optimization complexity of linear logic proof games
Under a Creative Commons license
open archive
Cited by (0)
- 1
Work supported under NSF Grant CCR-9224858 and ONR Grant N00014-95-C-0168.
- 2
Partially supported by NSF Grants CCR-9303099 and CCR-9629754.
- 3
Partially supported by NSF Grant CCR-94-00907, by ONR Grant N00014-92-J-1916, and by a Centennial Research Fellowship from the American Mathematical Society.
Copyright © 1999 Published by Elsevier B.V.