Quelle chapBib.html Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/automata/doc/chapBib.html

<?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" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chapBib" onload="jscontent()">

<div class="chlinktop">Goto Chapter: <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="chap0.html#contents">[Contents]</a> <a href="chapC.html">[Previous Chapter]</a> <a href="chapInd.html">[Next Chapter]</a> </div>

<a href="chapBib_mj.html">[MathJax on]</a>
<a id="X7A6F98FD85F02BFE" name="X7A6F98FD85F02BFE"></a>

<h3>References</h3>

<a id="biBAHU:74" name="biBAHU:74"></a>

[AHU74] Aho, A. V., Hopcroft, J. E. and Ullman, J. D.,
The Design and Analisys of Computer Algorithms,
Addison-Wesley,
Reading, Mass.
(1974).


<a id="biBKoutsofiosNorth:2002" name="biBKoutsofiosNorth:2002"></a>

[DEG+02] Dobkin, D., Ellson, J., Gansner, E., Koutsofios, E., North, S. and Woodhull, G.,
Graphviz - Graph Drawing Programs,
AT\&T Research and Lucent Bell Labs
(2002) 
((https://www.graphviz.org)).


<a id="biBHU:69" name="biBHU:69"></a>

[HU69] Hopcroft, J. E. and Ullman, J. D.,
Formal Languages and their Relation to Automata,
Addison-Wesley,
Reading, Mass.
(1969).


<a id="biBKM:2002" name="biBKM:2002"></a>

[KM02] Kapovich, I. and Myasnikov, A.,
Stallings foldings and subgroups of free groups,
J. of Algebra,
248
(2002),
608--668.


<a id="biBAMORE:95" name="biBAMORE:95"></a>

[MMP+95] Matz, O., Miller, A., Potthoff, A., Thomas, W. and Valkema, E.,
Report on the program AMoRe,
Christian Albrechts Universit{\"a}t, Kiel (9507)
(1995).


<a id="biBMSW:2001" name="biBMSW:2001"></a>

[MSW01] Margolis, S., Sapir, M. and Weil, P.,
Closed subgroups in pro-V topologies and the extension problem
 for
 inverse automata,
Int. J. of Algebra and Computation,
11
(2001),
405--445.


 

<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chapC.html">[Previous Chapter]</a> <a href="chapInd.html">[Next Chapter]</a> </div>

<div class="chlinkbot">Goto Chapter: <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 />
generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a>
</body>
</html>

quality98%

¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.