Logic Colloquium 2005 || Proofnets for S5: Sequents and...

  • Main
  • Logic Colloquium 2005 || Proofnets for...

Logic Colloquium 2005 || Proofnets for S5: Sequents and circuits for modal logic

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1017/CB
Year:
2007
DOI:
10.1017/CBO9780511546464.012
File:
PDF, 405 KB
2007
Conversion to is in progress
Conversion to is failed