default search action

combined dblp search
author search
venue search
publication search

ask others

7th LSFA 2012: Rio de Janeiro, Brazil

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7136
Delia Kesner, Petrucio Viana:
Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012. EPTCS 113, 2012
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7326
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7326
Beniamino Accattoli:
Proof nets and the call-by-value lambda-calculus. 11-26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7327
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe:
Symmetries in Modal Logics. 27-44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7328
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho:
Elementary Deduction Problem for Locally Stable Theories with Normal Forms. 45-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7329
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7329
Antonio Bucciarelli, Alberto Carraro, Antonino Salibra:
Minimal lambda-theories by ultraproducts. 61-76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7330
Alberto Carraro:
The untyped stack calculus and Bohm's theorem. 77-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7331
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7331
Alberto Carraro, Thomas Ehrhard, Antonino Salibra:
The stack calculus. 93-108
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7332
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7332
Alberto Ciaffaglione, Ivan Scagnetto:
A weak HOAS approach to the POPLmark Challenge. 109-124
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7333
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
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7334
Alejandro Díaz-Caro, Gilles Dowek:
Non determinism through type isomorphism. 137-144
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7335
Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón:
Formalizing the Confluence of Orthogonal Rewriting Systems. 145-152
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7336
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7336
Paulo A. S. Veloso, Sheila R. M. Veloso:
A Graph Calculus for Predicate Logic. 153-168

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.