Show simple item record

AuthorGuttmann, Walterdc.contributor.author
EditorQin, S.dc.contributor.editor
Date of accession2020-03-10T13:22:54Zdc.date.accessioned
Available in OPARU since2020-03-10T13:22:54Zdc.date.available
Date of first publication2010dc.date.issued
Languageen_USdc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleUnifying Recursion in Partial, Total and General Correctnessdc.title
Resource typeBeitrag zu einer Konferenzdc.type
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
DOI (external)10.1007/978-3-642-16690-7_10dc.identifier.doiExternal
Source - Title of sourceUnifying Theories of Programming, Third International Symposium, UTP 2010source.title
Source - PublisherBerlinsource.publisherPlace
Source - PublisherHeidelbergsource.publisherPlace
Source - Place of publicationSpringersource.publisher
Source - Year2010source.year
Source - From page207source.fromPage
Source - To page225source.toPage
Source - SerialLecture Notes in Computer Science ; 6445source.series
Source - ISBN978-3-642-16689-1source.identifier.isbn
Conference nameInternational Symposium on Unifying Theories of Programminguulm.conferenceName
Conference placeShanghaiuulm.conferencePlace
Conference start date2010-11-15uulm.conferenceStartDate
Conference end date2010-11-16uulm.conferenceEndDate
University Bibliographyneinuulm.unibibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record