Show simple item record

EditorQin, S.dc.contributor.editor
Date of
Available in OPARU
Date of first
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
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


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record