Definability and undecidability in recursion theoretic semilattices

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Nies, André (VerfasserIn)
Dokumenttyp: Book/Monograph Hochschulschrift
Sprache:Englisch
Veröffentlicht: 1992
Schlagworte:
Online-Zugang: Volltext
Verfasserangaben:vorgelegt von André Otfrid Nies

MARC

LEADER 00000cam a2200000 c 4500
001 1101255773
003 DE-627
005 20251217163228.0
007 tu
008 921228s1992 xx ||||| m 00| ||eng c
035 |a (DE-627)1101255773 
035 |a (DE-576)031255779 
035 |a (DE-599)BSZ031255779 
035 |a (OCoLC)1564103216 
035 |a (OCoLC)46219844 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
084 |a 27  |2 sdnb 
100 1 |a Nies, André  |0 (DE-588)113308426  |0 (DE-627)655097341  |0 (DE-576)33945864X  |4 aut 
245 1 0 |a Definability and undecidability in recursion theoretic semilattices  |c vorgelegt von André Otfrid Nies 
264 1 |c 1992 
300 |a [4], 148 S.  |b graph. Darst. 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
502 |a Heidelberg, Univ., Diss., 1992 
583 1 |a Archivierung/Langzeitarchivierung gewährleistet  |f DISS  |x XA-DE-BW  |2 pdager  |5 DE-16 
655 7 |a Hochschulschrift  |0 (DE-588)4113937-9  |0 (DE-627)105825778  |0 (DE-576)209480580  |2 gnd-content 
751 |a Heidelberg  |0 (DE-588)4023996-2  |0 (DE-627)106300814  |0 (DE-576)208952578  |4 uvp 
951 |a BO 
992 |a 20251217 
993 |a Thesis 
994 |a 1992 
998 |g 113308426  |a Nies, André  |m 113308426:Nies, André  |d 110000  |d 110001  |e 110000PN113308426  |e 110001PN113308426  |k 0/110000/  |k 1/110000/110001/  |p 1  |x j  |y j 
999 |a KXP-PPN1101255773  |e 482970604X 
BIB |a Y 
JSO |a {"origin":[{"dateIssuedKey":"1992","dateIssuedDisp":"1992"}],"title":[{"title_sort":"Definability and undecidability in recursion theoretic semilattices","title":"Definability and undecidability in recursion theoretic semilattices"}],"id":{"eki":["1101255773"]},"noteThesis":["Heidelberg, Univ., Diss., 1992"],"person":[{"given":"André","family":"Nies","role":"aut","display":"Nies, André"}],"name":{"displayForm":["vorgelegt von André Otfrid Nies"]},"physDesc":[{"extent":"[4], 148 S.","noteIll":"graph. Darst."}],"type":{"bibl":"thesis"},"language":["eng"],"recId":"1101255773"} 
SRT |a NIESANDREDEFINABILI1992