EPTCS 47 - CL&C 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-5200
- ask others
Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.): Proceedings Third International Workshop on Classical Logic and Computation. 2010 EPTCS 47 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-5441
- ask others
Federico Aschieri: Interactive Learning Based Realizability and 1-Backtracking Games. ... 6-20
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-5442
- ask others
Gilda Ferreira, Paulo Oliva: On Various Negative Translations. ... 21-33
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-5443
- ask others
Clément Houtmann: Superdeduction in Lambda-Bar-Mu-Mu-Tilde. ... 34-43
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-5444
- ask others
Reinhard Kahle, Isabel Oitavem: An applicative theory for FPH. ... 44-56
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-5445
- ask others
Luis Pinto, Tarmo Uustalu: Relating Sequent Calculi for Bi-intuitionistic Propositional Logic. ... 57-72
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-5446
- ask others
Trifon Trifonov: Dialectica Interpretation with Marked Counterexamples. ... 73-84