<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <title>GAP (Kan) - References</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> <meta name="generator" content="GAPDoc2HTML" /> <link rel="stylesheet" type="text/css" href="manual.css" /> </head> <body> <div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div> <div class="chlinkprevnexttop"> <a href="chap0.html">Top of Book</a> <a href="chap3.html">Previous Chapter</a> <a href="chapInd.html">Next Chapter</a> </div> <p><a id="X7A6F98FD85F02BFE" name="X7A6F98FD85F02BFE"></a></p> <h3>References</h3> <p><a id="biBBrGhHeWe" name="biBBrGhHeWe"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">BGHW06</span>] <b class='Bib_author'>Brown, R., Ghani, N., Heyworth, A. and Wensley, C. D.</b>, <i class='Bib_title'>String rewriting systems for double coset systems</i>, <span class='Bib_journal'>J. Symbolic Comput.</span>, <em class='Bib_volume'>41</em> (<span class='Bib_year'>2006</span>), <span class='Bib_pages'>573--590</span>. </p> <p><a id="biBBrHe" name="biBBrHe"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">BH00</span>] <b class='Bib_author'>Brown, R. and Heyworth, A.</b>, <i class='Bib_title'>Using rewriting systems to compute left Kan extensions and induced actions of categories</i>, <span class='Bib_journal'>J. Symbolic Comput.</span>, <em class='Bib_volume'>29</em> (<span class='Bib_year'>2000</span>), <span class='Bib_pages'>5--31</span>. </p> <p><a id="biBanne-thesis" name="biBanne-thesis"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">Hey99</span>] <b class='Bib_author'>Heyworth, A.</b>, <i class='Bib_title'>Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations</i>, <span class='Bib_type'>Ph.{D}.~thesis</span>, <span class='Bib_school'>University of Wales, Bangor</span> (<span class='Bib_year'>1999</span>). </p> <p><a id="biBSteveL" name="biBSteveL"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">Lin91</span>] <b class='Bib_author'>Linton, S.</b>, <i class='Bib_title'>Double coset enumeration</i>, <span class='Bib_journal'>J. Symbolic Comput.</span>, <em class='Bib_volume'>12</em> (<span class='Bib_year'>1991</span>), <span class='Bib_pages'>415--426</span>. </p> <p> </p> <div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap3.html">Previous Chapter</a> <a href="chapInd.html">Next Chapter</a> </div> <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div> <hr /> <p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p> </body> </html>