default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 2011: Bergen, Norway

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 > TYPES

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/types/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2011
Nils Anders Danielsson, Bengt Nordström:
18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway. LIPIcs 19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-49-1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/types/DanielssonN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/DanielssonN11
Nils Anders Danielsson, Bengt Nordström:
Frontmatter, Table of Contents, Preface, Workshop Organization.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/types/Brunel11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Brunel11
Aloïs Brunel:
Non-constructive complex analysis in Coq. 1-15
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/types/EndrullisP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/EndrullisP11
Jörg Endrullis, Andrew Polonsky:
Infinitary Rewriting Coinductively. 16-27
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/types/Granstrom11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Granstrom11
Johan Georg Granström:
A new approach to the semantics of model diagrams. 28-40
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/types/IonescuJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/IonescuJ11
Cezar Ionescu, Patrik Jansson:
Testing versus proving in climate impact research. 41-54
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/types/MatthesP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MatthesP11
Ralph Matthes, Célia Picard:
Verification of redecoration for infinite triangular matrices using coinduction. 55-69

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.