Entry Lachlan:1973:PMC from lnm1970.bib
Last update: Sat Oct 14 02:51:54 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Lachlan:1973:PMC,
author = "A. H. Lachlan",
title = "The priority method for the construction of
recursively enumerable sets",
journal = j-LECT-NOTES-MATH,
volume = "337",
pages = "299--310",
year = "1973",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0066779",
ISBN = "3-540-05569-X (print), 3-540-36884-1 (e-book)",
ISBN-13 = "978-3-540-05569-3 (print), 978-3-540-36884-7
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
MRclass = "02F25",
MRnumber = "0335247 (49 \#29)",
MRreviewer = "Manuel Lerman",
bibdate = "Fri May 9 19:07:47 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0066779/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0066770",
book-URL = "http://www.springerlink.com/content/978-3-540-36884-7",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- construction,
133(0)3,
133(0)6,
133(0)26,
134(0)118,
135(0)52,
135(0)81,
148(0)1,
151(0)251,
152(0)632,
161(0)3,
161(0)23,
161(0)44,
161(0)59,
168(0)135,
174(0)52,
196(0)68,
271(0)82,
337(0)274,
339(0)109,
347(0)72,
353(0)113,
370(0)1,
375(0)1,
382(0)125,
383(0)171,
387(0)28,
428(0)241
- enumerable,
255(0)149
- Lachlan, A. H.,
255(0)149
- Lerman, Manuel,
255(0)305,
337(0)311
- method,
112(0)116,
132(0)252,
140(0)8,
140(0)68,
155(0)88,
160(0)37,
183(0)207,
183(0)213,
185(0)1,
193(0)1,
193(0)21,
217(0)51,
228(0)253,
243(0)123,
251(0)193,
267(0)81,
267(0)117,
267(0)233,
267(0)265,
267(0)289,
267(0)305,
280(0)181,
312(0)164,
316(0)161,
319(0)75,
322(0)1,
322(0)288,
329(0)51,
333(0)96,
333(0)164,
333(0)243,
336(0)51,
337(0)113,
362(0)1,
362(0)72,
362(0)92,
362(0)128,
362(0)291,
362(0)304,
362(0)434,
363(0)21,
363(0)75,
363(0)89,
363(0)118,
363(0)134,
363(0)153,
363(0)164,
363(0)176,
363(0)189,
363(0)207,
363(0)215,
365(0)363,
377(0)142,
378(0)172,
385(0)109,
394(0)8,
394(0)31,
394(0)74,
394(0)118,
395(0)123,
395(0)137,
403(0)63,
430(0)1,
430(0)61,
430(0)112,
430(0)131,
430(0)237,
430(0)261,
430(0)363,
430(0)395,
430(0)414
- priority,
337(0)311
- recursively,
255(0)149
- set,
88(0)115,
125(0)276,
144(0)1,
144(0)22,
144(0)153,
160(0)71,
160(0)158,
162(0)43,
171(0)1,
171(0)82,
182(0)77,
182(0)99,
184(0)50,
186(0)9,
192(0)133,
192(0)150,
192(0)153,
192(0)282,
202(0)20,
202(0)46,
202(0)69,
202(0)93,
202(0)124,
202(0)141,
208(0)122,
217(0)12,
217(0)32,
223(0)23,
226(0)1,
235(0)23,
235(0)61,
235(0)134,
255(0)281,
263(0)76,
266(0)23,
266(0)189,
266(0)229,
292(0)124,
298(0)102,
304(0)228,
311(0)90,
318(0)150,
331(0)211,
337(0)206,
337(0)531,
337(0)539,
354(0)1,
354(0)73,
364(0)58,
364(0)123,
369(0)5,
369(0)180,
374(0)124,
378(0)46,
381(0)172,
382(0)103,
384(0)109,
399(0)84,
403(0)109,
406(0)173,
416(0)120