Quelle AutMan.bib Sprache: Latech

@Book{HU:69,
author= "J. E. Hopcroft and J. D. Ullman",
title= "Formal Languages and their Relation to Automata",
year= "1969",
publisher= "Addison-Wesley",
address= "Reading, Mass."}

@Book{AHU:74,
author= "A. V. Aho and J. E. Hopcroft and J. D. Ullman",
title= "The Design and Analisys of Computer Algorithms",
year= "1974",
publisher= "Addison-Wesley",
address= "Reading, Mass."}

@Book{GareyJohnson:1979,
author= "G. Garey and D. S.Johnson",
title= "Computers and Intractability",
year= "1979",
publisher= "Freeman",
address= "San Francisco"}

@Article{Del:98,
author= "M. Delgado",
title= "Abelian pointlikes of a monoid",
journal= "SF",
volume= "56",
year= "1998",
pages= "127-146"}

@Article{Del:01,
author= "M. Delgado",
title= "Commutative images of rational languages and the Abelian kernel of a monoid",
journal= "Theoretical
Informatics and Applications",
volume= "35",
year= "2001",
pages= "419-435"}

@Techreport{AMORE:95,
author= "O. Matz and A. Miller and A. Potthoff and W. Thomas and E. Valkema",
title= "Report on the program AMoRe",
year= "1995",
institution= "Christian Albrechts Universit{\"a}t, Kiel",
number= "9507"}

@book{Sims:94,
      Author = "C.~C. Sims",
      Title = "Computation with Finitely Presented Groups",
      Publisher = {Cambridge University Press},
      Year = {1994}
}

@Article{Ash:91,
author= "C. J. Ash",
title= "Inevitable graphs: a proof of the type {II} conjecture and some related decision procedures",
journal= "Int. J. of Algebra and Computation",
volume= "1",
year= "1991",
pages= "127-146"}

@Book{Al:95,
author= "J. Almeida",
title= "Finite Semigroups and Universal Algebra",
year= "1995",
note= "English translation",
keywords= "finite semigroup, rational language, pseudovariety, implicit operation",
publisher= "World Scientific",
address= "Singapore"}

@Article{DF:00,
author= "M. Delgado and V. H. Fernandes",
title= "Abelian kernels of some monoids of injective partial transformations and an application",
journal= "Semigroup Forum",
volume= "61",
year= "2000",
pages= "435--452"}

@Techreport{KoutsofiosNorth:2002,
author= "D. Dobkin and J. Ellson and E. Gansner and E. Koutsofios and
S. North and G. Woodhull",
title= "Graphviz - Graph Drawing Programs",
institution= "AT\&T Research and Lucent Bell Labs",
year = "2002",
note         = "(https://www.graphviz.org)",
keywords     = " "}

@Article{MSW:2001,
author= "S. Margolis and M. Sapir and P. Weil",
title= "Closed subgroups in pro-{V} topologies and the extension problem for
  inverse automata",
journal= "Int. J. of Algebra and Computation",
volume= "11",
year= "2001",
pages= "405--445"}

@Article{KM:2002 ,
author= "I. Kapovich and A. Myasnikov",
title= "Stallings foldings and subgroups of free groups",
journal= "J. of Algebra",
volume= "248",
year= "2002",
pages= "608--668"}

quality100%

¤ Dauer der Verarbeitung: 0.12 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.