L773:1611 3349 OR L773:0302 9743 OR L773:9783540433538
Sökning: L773:1611 3349 OR L773:0302 9743 OR L773:9783540433538 > (2015-2019) > Compositional coind...
- 4 av 357
- Föregående post
- Nästa post
- Till träfflistan
- Abel, Andreas,1974Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU) (författare)
Compositional coinduction with sized types
- Artikel/kapitelEngelska2016
Förlag, utgivningsår, omfång ...
- 2016-06-04
- Cham :Springer International Publishing,2016
Nummerbeteckningar
- LIBRIS-ID:oai:gup.ub.gu.se/249949
- https://gup.ub.gu.se/publication/249949URI
- https://doi.org/10.1007/978-3-319-40370-0_2DOI
Kompletterande språkuppgifter
- Språk:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Ämnesord och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap Programvaruteknik hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Software Engineering hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Göteborgs universitetInstitutionen för data- och informationsteknik (GU) (creator_code:org_t)
Sammanhörande titlar
- Ingår i:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Cham : Springer International Publishing0302-97431611-3349
Internetlänk
Hitta via bibliotek
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 4 av 357
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Abel, Andreas, 1 ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Programvarutekni ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- Lecture Notes in ...
- Av lärosätet
- Göteborgs universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
