Till sidans topp

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

Tipsa en vän
Utskriftsversion

Compositional coinduction… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Compositional coinduction with sized types

Paper i proceeding
Författare Andreas Abel
Publicerad i Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN 0302-9743
Publiceringsår 2016
Publicerad vid Institutionen för data- och informationsteknik (GU)
Språk en
Länkar doi.org/10.1007/978-3-319-40370-0_2
Ämneskategorier Teoretisk datalogi, Programvaruteknik
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?

Denna text är utskriven från följande webbsida:
http://gu.se/forskning/publikation/?publicationId=249949
Utskriftsdatum: 2020-01-20