Entry Luckhardt:1973:GBI 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{Luckhardt:1973:GBI,
author = "Horst Luckhardt",
title = "Generalization of bar induction {$ {\rm BI}_D $} and
the inductive generation processes to trees over
species",
journal = j-LECT-NOTES-MATH,
volume = "306",
pages = "129--133",
year = "1973",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0060884",
ISBN = "3-540-06119-3 (print), 3-540-38283-6 (e-book)",
ISBN-13 = "978-3-540-06119-9 (print), 978-3-540-38283-6
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
bibdate = "Fri May 9 19:07:14 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0060884/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0060871",
book-URL = "http://www.springerlink.com/content/978-3-540-38283-6",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- bar,
161(0)23,
161(0)44,
161(0)59,
168(0)135,
306(0)76,
306(0)137,
347(0)72
- generalization,
147(0)109,
156(0)81,
184(0)151,
216(0)84,
241(0)42,
249(0)13,
268(0)84,
419(0)4
- generation,
319(0)133,
330(0)46,
341(0)179
- induction,
212(0)141,
212(0)161,
306(0)137,
343(0)540
- inductive,
188(0)236,
255(0)1,
306(0)120,
344(0)392,
378(0)132,
399(0)123
- Luckhardt, Horst,
306(0)1,
306(0)13,
306(0)28,
306(0)41,
306(0)50,
306(0)59,
306(0)68,
306(0)76,
306(0)88,
306(0)93,
306(0)98,
306(0)120,
306(0)134,
306(0)137
- process,
160(0)234,
170(0)71,
190(0)13,
190(0)60,
190(0)67,
202(0)161,
258(0)177,
280(0)32,
287(0)153,
294(0)85,
296(0)70,
296(0)149,
312(0)151,
322(0)193,
330(0)7,
330(0)46,
330(0)80,
330(0)95,
330(0)170,
330(0)176,
330(0)193,
330(0)239,
330(0)304,
376(0)47,
376(0)54,
376(0)92,
376(0)118,
376(0)123
- species,
306(0)137
- tree,
186(0)49,
212(0)161,
344(0)392,
403(0)79,
405(0)32,
405(0)46,
405(0)97,
406(0)1