Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
235 lines (217 sloc) 7.12 KB
@article {Kapovich_2005,
AUTHOR = {Kapovich, Ilya and Weidmann, Richard and Miasnikov, Alexei},
TITLE = {Foldings, graphs of groups and the membership problem},
JOURNAL = {Internat. J. Algebra Comput.},
FJOURNAL = {International Journal of Algebra and Computation},
VOLUME = 15,
YEAR = 2005,
NUMBER = 1,
PAGES = {95--128},
ISSN = {0218-1967},
DOI = {10.1142/S021819670500213X},
URL = {http://dx.doi.org/10.1142/S021819670500213X}
}
@book{Kleene52,
author="Kleene, S.C.",
title="Introduction to metamathematics",
year=1952,
publisher={North-Holland Publishing Company},
reviews="JSL 19.215; JSL 25.280; JSL 33.290; JSL 35.350;
JSL38.333; MR 14.525 ; ZBL 47.7",
note="Co-publisher: Wolters--Noordhoff; 8th revised ed.1980."
}
@book {Serre_1977,
AUTHOR = {Serre, Jean-Pierre},
TITLE = {Arbres, amalgames, {${\rm SL}_{2}$}},
NOTE = {Avec un sommaire anglais,
R{\'e}dig{\'e} avec la collaboration de Hyman Bass,
Ast{\'e}risque, No. 46},
PUBLISHER = {Soci\'et\'e Math\'ematique de France},
ADDRESS = {Paris},
YEAR = {1977},
PAGES = {189 pp. (1 plate)},
}
@incollection {Janson_2008,
AUTHOR = {Janson, Svante},
TITLE = {Plane recursive trees, {S}tirling permutations and an urn
model},
BOOKTITLE = {Fifth {C}olloquium on {M}athematics and {C}omputer {S}cience},
SERIES = {Discrete Math. Theor. Comput. Sci. Proc., AI},
PAGES = {541--547},
PUBLISHER = {Assoc. Discrete Math. Theor. Comput. Sci., Nancy},
YEAR = {2008},
}
@inproceedings {DiekertDuncanMiasnikov_2010,
author = {Diekert, V. and Duncan, A.~J. and Miasnikov, A.~G.},
title = {Geodesic rewriting systems and pregroups},
BOOKTITLE = {Combinatorial and Geometric Group Theory, Dortmund and Carleton Conferences},
SERIES = {Trends in Mathematics},
EDITOR = {Bogopolski, O. and Bumagin, I. and Kharlampovich, O. and Ventura, E.},
PAGES = {55--91},
PUBLISHER = {Birkh\"auser},
ADDRESS = {Basel},
YEAR = {2010},
IBSN = {978-3-7643-9910-8},
}
@article {Cannonito_1966,
AUTHOR = {Cannonito, Frank B.},
TITLE = {Hierarchies of computable groups and the word problem},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {31},
YEAR = {1966},
PAGES = {376--392},
ISSN = {0022-4812},
MRCLASS = {02.77},
MRNUMBER = {0224471 (37 \#70)},
MRREVIEWER = {K. Appel},
}
@article {Gatterdam_1973,
AUTHOR = {Gatterdam, R. W.},
TITLE = {The computability of group constructions. {II}},
JOURNAL = {Bull. Austral. Math. Soc.},
FJOURNAL = {Bulletin of the Australian Mathematical Society},
VOLUME = {8},
YEAR = {1973},
PAGES = {27--60},
ISSN = {0004-9727},
MRCLASS = {02F47 (20F10)},
MRNUMBER = {0446939 (56 \#5256)},
MRREVIEWER = {L. Bokut},
}
@incollection {Cannonito_1973,
AUTHOR = {Cannonito, F. B. and Gatterdam, R. W.},
TITLE = {The computability of group constructions. {I}},
BOOKTITLE = {Word problems: decision problems and the {B}urnside problem in
group theory ({C}onf., {U}niv. {C}alifornia, {I}rvine,
{C}alif. 1969; dedicated to {H}anna {N}eumann)},
PAGES = {365--400. Studies in Logic and the Foundations of Math., Vol.
71},
PUBLISHER = {North-Holland},
ADDRESS = {Amsterdam},
YEAR = {1973},
MRCLASS = {02F47 (20F10)},
MRNUMBER = {0446938 (56 \#5255)},
MRREVIEWER = {L. Bokut},
}
@book {Gatterdam_1970,
AUTHOR = {Gatterdam, Ronald Wallace},
TITLE = {E{MBEDDINGS} {OF} {PRIMITIVE} {RECURSIVE} {COMPUTABLE}
{GROUPS}},
NOTE = {Thesis (Ph.D.)--University of California, Irvine},
PUBLISHER = {ProQuest LLC, Ann Arbor, MI},
YEAR = {1970},
PAGES = {99},
MRCLASS = {Thesis},
MRNUMBER = {2619753},
URL =
{http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:7104289},
}
@article {Grzegorczyk_1953,
AUTHOR = {Grzegorczyk, Andrzej},
TITLE = {Some classes of recursive functions},
JOURNAL = {Rozprawy Mat.},
VOLUME = {4},
YEAR = {1953},
PAGES = {46},
MRCLASS = {02.0X},
MRNUMBER = {0060426 (15,667d)},
MRREVIEWER = {I. Novak G{\'a}l},
}
@article {Hoare_1988,
AUTHOR = {Hoare, A. H. M.},
TITLE = {Pregroups and length functions},
JOURNAL = {Math. Proc. Cambridge Philos. Soc.},
FJOURNAL = {Mathematical Proceedings of the Cambridge Philosophical
Society},
VOLUME = {104},
YEAR = {1988},
NUMBER = {1},
PAGES = {21--30},
ISSN = {0305-0041},
CODEN = {MPCPCO},
}
@incollection {Rimlinger_1987b,
AUTHOR = {Rimlinger, Frank},
TITLE = {A subgroup theorem for pregroups},
BOOKTITLE = {Combinatorial group theory and topology ({A}lta, {U}tah,
1984)},
SERIES = {Ann. of Math. Stud.},
VOLUME = {111},
PAGES = {163--174},
PUBLISHER = {Princeton Univ. Press},
ADDRESS = {Princeton, NJ},
YEAR = {1987},
}
@article {Rimlinger_1987a,
AUTHOR = {Rimlinger, Frank},
TITLE = {Pregroups and {B}ass-{S}erre theory},
JOURNAL = {Mem. Amer. Math. Soc.},
FJOURNAL = {Memoirs of the American Mathematical Society},
VOLUME = {65},
YEAR = {1987},
NUMBER = {361},
PAGES = {viii+73},
ISSN = {0065-9266},
}
@article{Ritchie_1965,
title={Classes of recursive functions based on {A}ckermann's function},
journal={Pacific J. Math.},
author={Ritchie, R. W.},
volume=15,
pages={1027--44},
year=1965
}
@book {Stallings_1971,
AUTHOR = {Stallings, John},
TITLE = {Group theory and three-dimensional manifolds},
NOTE = {A James K. Whittemore Lecture in Mathematics given at Yale
University, 1969,
Yale Mathematical Monographs, 4},
PUBLISHER = {Yale University Press},
ADDRESS = {New Haven, Conn.},
YEAR = {1971},
PAGES = {v+65},
MRCLASS = {57A10 (20E30)},
MRNUMBER = {0415622 (54 \#3705)},
MRREVIEWER = {Edward M. Bloomberg},
}
@incollection {Stallings_1987,
AUTHOR = {Stallings, John R.},
TITLE = {Adian groups and pregroups},
BOOKTITLE = {Essays in group theory},
SERIES = {Math. Sci. Res. Inst. Publ.},
VOLUME = {8},
PAGES = {321--342},
PUBLISHER = {Springer},
ADDRESS = {New York},
YEAR = {1987},
}
@article {Rabin_1960,
AUTHOR = {Rabin, Michael O.},
TITLE = {Computable algebra, general theory and theory of computable
fields. },
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {95},
YEAR = {1960},
PAGES = {341--360},
ISSN = {0002-9947},
MRCLASS = {02.00 (08.00)},
MRNUMBER = {0113807 (22 \#4639)},
MRREVIEWER = {G. Kreisel},
}
@book {Rose_1984,
AUTHOR = {Rose, H. E.},
TITLE = {Subrecursion: functions and hierarchies},
SERIES = {Oxford Logic Guides},
VOLUME = {9},
PUBLISHER = {The Clarendon Press Oxford University Press},
ADDRESS = {New York},
YEAR = {1984},
PAGES = {xiii+191},
ISBN = {0-19-853189-3},
MRCLASS = {03-02 (03D20)},
MRNUMBER = {752696 (86g:03004)},
MRREVIEWER = {R. Verbeek},
}
Jump to Line
Something went wrong with that request. Please try again.