<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>487</id>
    <completedYear/>
    <publishedYear>2002</publishedYear>
    <thesisYearAccepted/>
    <language>deu</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>article</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2002-11-27</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="deu">Recursive approximability of real numbers</title>
    <enrichment key="UBICOIdent">000744</enrichment>
    <enrichment key="UBICOquelle">Mathematical Logic Quarterly, 48(2002)Suppl. 1, S. 131-156, 0942-5616</enrichment>
    <author>
      <firstName>Xizhong</firstName>
      <lastName>Zheng</lastName>
    </author>
    <submitter>
      <firstName>...</firstName>
      <lastName>Administrator</lastName>
    </submitter>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>computable reals</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>semi-computable reals</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>weakly computable reals</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>recursively approximable realy</value>
    </subject>
    <collection role="old_institute" number="01048">LS Theoretische Informatik</collection>
    <collection role="institutes" number="1201">FG Theoretische Informatik</collection>
  </doc>
  <doc>
    <id>488</id>
    <completedYear/>
    <publishedYear>2002</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>article</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2002-11-27</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Closure properties on real numbers under limits and computable operators</title>
    <enrichment key="UBICOIdent">000745</enrichment>
    <enrichment key="UBICOquelle">Theoretical Computer Science, 284(2002)2, S. 499-518, 0304-3975</enrichment>
    <author>
      <firstName>Xizhong</firstName>
      <lastName>Zheng</lastName>
    </author>
    <submitter>
      <firstName>...</firstName>
      <lastName>Administrator</lastName>
    </submitter>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>weakly computable reals</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>computable real functions</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>closure properties</value>
    </subject>
    <collection role="old_institute" number="01048">LS Theoretische Informatik</collection>
    <collection role="institutes" number="1201">FG Theoretische Informatik</collection>
  </doc>
</export-example>
