Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

23rd International Confer… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se
Just nu är det svårt att nå universitetet via telefon på grund av driftstörningar hos Tele2 - Felsökning pågår
Tisdag 25 juni 11:30

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

Samlingsverk
Författare Andreas Abel
Fredrik Nordvall Forsberg
Ambrus Kaposi
ISBN 978-3-95977-071-2
Förlag Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Publiceringsår 2018
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Språk en
Länkar drops.dagstuhl.de/portals/lipics/in...
Ämneskategorier Teoretisk datalogi
Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?