default search action

combined dblp search
author search
venue search
publication search

ask others

15th LSFA 2020: Online

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > LSFA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/lsfa/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/2020
Cláudia Nalon, Giselle Reis:
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020. Electronic Notes in Theoretical Computer Science 351, Elsevier 2020
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/NalonR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/NalonR20
Cláudia Nalon, Giselle Reis:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/AlvesFR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/AlvesFR20
Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: A Typed Higher-order Functional Language for Events. 3-23
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/BrodoO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/BrodoO20
Linda Brodo, Carlos Olarte:
A Constraint-based Language for Multiparty Interactions. 25-50
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/ManskyG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/ManskyG20
Susannah Mansky, Elsa L. Gunter:
Safety of a Smart Classes-Used Regression Test Selection Algorithm. 51-73
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/ManzinoP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/ManzinoP20
Cecilia Manzino, Alberto Pardo:
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. 75-94
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/MartinRV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/MartinRV20
Alexis Martin, Alejandro Ríos, Andrés Viso:
Pure Pattern Calculus à la de Bruijn. 95-113
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/Amir-Mohammadian20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/Amir-Mohammadian20
Sepehr Amir-Mohammadian, Chadi Kari:
Correct Audit Logging in Concurrent Systems. 115-141
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/OlartePX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/OlartePX20
Carlos Olarte, Elaine Pimentel, Bruno Xavier:
A Fresh View of Linear Logic as a Logical Framework. 143-165
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/PretoF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/PretoF20
Sandro Preto, Marcelo Finger:
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. 167-186
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/UrciuoliTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/UrciuoliTS20
Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz:
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. 187-203

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.