<?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 (Automata) - 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="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chapA.html">A</a> <a href="chapB.html">B</a> <a href="chapC.html">C</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="chapC.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="biBAHU:74" name="biBAHU:74"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">AHU74</span>] <b class='Bib_author'>Aho, A. V., Hopcroft, J. E. and Ullman, J. D.</b>, <i class='Bib_title'>The Design and Analisys of Computer Algorithms</i>, <span class='Bib_publisher'>Addison-Wesley</span>, <span class='Bib_address'>Reading, Mass.</span> (<span class='Bib_year'>1974</span>). </p> <p><a id="biBKoutsofiosNorth:2002" name="biBKoutsofiosNorth:2002"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">DEGKNW02</span>] <b class='Bib_author'>Dobkin, D., Ellson, J., Gansner, E., Koutsofios, E., North, S. and Woodhull, G.</b>, <i class='Bib_title'>Graphviz - Graph Drawing Programs</i>, <span class='Bib_organization'>AT\&T Research and Lucent Bell Labs</span> (<span class='Bib_year'>2002</span>)<br /> (<span class='Bib_note'>(http://www.research.att.com/sw/tools/graphviz)</span>). </p> <p><a id="biBHU:69" name="biBHU:69"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">HU69</span>] <b class='Bib_author'>Hopcroft, J. E. and Ullman, J. D.</b>, <i class='Bib_title'>Formal Languages and their Relation to Automata</i>, <span class='Bib_publisher'>Addison-Wesley</span>, <span class='Bib_address'>Reading, Mass.</span> (<span class='Bib_year'>1969</span>). </p> <p><a id="biBKM:2002" name="biBKM:2002"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">KM02</span>] <b class='Bib_author'>Kapovich, I. and Myasnikov, A.</b>, <i class='Bib_title'>Stallings foldings and subgroups of free groups</i>, <span class='Bib_journal'>J. of Algebra</span>, <em class='Bib_volume'>248</em> (<span class='Bib_year'>2002</span>), <span class='Bib_pages'>608--668</span>. </p> <p><a id="biBMSW:2001" name="biBMSW:2001"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">MSW01</span>] <b class='Bib_author'>Margolis, S., Sapir, M. and Weil, P.</b>, <i class='Bib_title'>Closed subgroups in pro-V topologies and the extension problem for inverse automata</i>, <span class='Bib_journal'>Int. J. of Algebra and Computation</span>, <em class='Bib_volume'>11</em> (<span class='Bib_year'>2001</span>), <span class='Bib_pages'>405--445</span>. </p> <p><a id="biBAMORE:95" name="biBAMORE:95"></a></p> <p class='Bib_entry'> [<span class='Bib_key' style="color: #8e0000;">MMPTV95</span>] <b class='Bib_author'>Matz, O., Miller, A., Potthoff, A., Thomas, W. and Valkema, E.</b>, <i class='Bib_title'>Report on the program AMoRe</i>, <span class='Bib_organization'>Christian Albrechts Universit{\"a}t, Kiel</span> (<span class='Bib_number'>9507</span>) (<span class='Bib_year'>1995</span>). </p> <p> </p> <div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chapC.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="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chapA.html">A</a> <a href="chapB.html">B</a> <a href="chapC.html">C</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>