• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • _Andere Einrichtungen
  • Publikationsnachweise
  • View Item
  •   Home
  • _Andere Einrichtungen
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Unifying Recursion in Partial, Total and General Correctness

Erstveröffentlichung
2010
Authors
Guttmann, Walter
Editor
Qin, S.
Beitrag zu einer Konferenz


Published in
Unifying Theories of Programming, Third International Symposium, UTP 2010. - Berlin ; Heidelberg : Springer, 2010. - (Lecture Notes in Computer Science ; 6445). - S. 207-225. - ISBN 978-3-642-16689-1
Link to publication
https://dx.doi.org/10.1007/978-3-642-16690-7_10
Conference
International Symposium on Unifying Theories of Programming, 2010-11-15 - 2010-11-16, Shanghai
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement