EPTCS 113 - LSFA 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7136
- ask others
Delia Kesner, Petrucio Viana (Eds.): Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications. 2012 EPTCS 113 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7326
- ask others
Beniamino Accattoli: Proof nets and the call-by-value lambda-calculus. ... 11-26
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7327
- ask others
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe: Symmetries in Modal Logics. ... 27-44
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7328
- ask others
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho: Elementary Deduction Problem for Locally Stable Theories with Normal Forms. ... 45-60
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7329
- ask others
Antonio Bucciarelli, Alberto Carraro, Antonino Salibra: Minimal lambda-theories by ultraproducts. ... 61-76
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7330
- ask others
Alberto Carraro: The untyped stack calculus and Bohm's theorem. ... 77-92
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7331
- ask others
Alberto Carraro, Thomas Ehrhard, Antonino Salibra: The stack calculus. ... 93-108
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7332
- ask others
Alberto Ciaffaglione, Ivan Scagnetto: A weak HOAS approach to the POPLmark Challenge. ... 109-124
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7333
- ask others
Marcelo E. Coniglio, María I. Corbalán: Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics. ... 125-136
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7334
- ask others
Alejandro Díaz-Caro, Gilles Dowek: Non determinism through type isomorphism. ... 137-144
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7335
- ask others
Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón: Formalizing the Confluence of Orthogonal Rewriting Systems. ... 145-152
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-7336
- ask others
Paulo A. S. Veloso, Sheila R. M. Veloso: A Graph Calculus for Predicate Logic. ... 153-168