SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:gup.ub.gu.se/280064"
 

Search: onr:"swepub:oai:gup.ub.gu.se/280064" > 23rd International ...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.

  • BookEnglish2018

Publisher, publication year, extent ...

  • Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,2018

Numbers

  • LIBRIS-ID:oai:gup.ub.gu.se/280064
  • ISBN:9783959770712
  • https://gup.ub.gu.se/publication/280064URI

Supplementary language notes

  • Language:English

Part of subdatabase

Classification

  • Subject category:vet swepub-contenttype
  • Subject category:sam swepub-publicationtype

Subject headings and genre

Added entries (persons, corporate bodies, meetings, titles ...)

  • Abel, Andreas,1974Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik, datavetenskap (GU),Department of Computer Science and Engineering, Computing Science (GU)(Swepub:gu)xabean (editor)
  • Nordvall Forsberg, Fredrik (editor)
  • Kaposi, Ambrus (editor)
  • Göteborgs universitetInstitutionen för data- och informationsteknik, datavetenskap (GU) (creator_code:org_t)

Internet link

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view