Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)

Bibliographic Information

Other Title
  • Complexity theoretical aspects of applicative theories in connection with boolean circuit computations

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top