EPTCS 81 - LSFA 2011

Simona Ronchi Della Rocca, Elaine Pimentel (Eds.): Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications. EPTCS 81 2011

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1203-6157
- ask others
Arnon Avron: A Logical Framework for Set Theories. 3-15
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1102-0749
- ask others
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff: Lower Bounds for Scalars in a Typed Algebraic λ-calculus. 16-29
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1203-6158
- ask others
Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca: Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach. 30-46
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1203-6159
- ask others
Paulo A. S. Veloso, Sheila R. M. Veloso: On Graph Refutation for Relational Inclusions. 47-62
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1203-6160
- ask others
Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón: A Formalization of the Theorem of Existence of First-Order Most General Unifiers. 63-78
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1203-6161
- ask others
Anderson de Araújo, Marcelo Finger: Classical and quantum satisfiability. 79-84