CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
1
@Book{HU:69,

2
author= "J. E. Hopcroft and J. D. Ullman",

3
title= "Formal Languages and their Relation to Automata",

4
year= "1969",

5
publisher= "Addison-Wesley",

6
address= "Reading, Mass."}

7


8
@Book{AHU:74,

9
author= "A. V. Aho and J. E. Hopcroft and J. D. Ullman",

10
title= "The Design and Analisys of Computer Algorithms",

11
year= "1974",

12
publisher= "Addison-Wesley",

13
address= "Reading, Mass."}

14


15
@Book{GareyJohnson:1979,

16
author= "G. Garey and D. S.Johnson",

17
title= "Computers and Intractability",

18
year= "1979",

19
publisher= "Freeman",

20
address= "San Francisco"}

21


22
@Article{Del:98,

23
author= "M. Delgado",

24
title= "Abelian pointlikes of a monoid",

25
journal= "SF",

26
volume= "56",

27
year= "1998",

28
pages= "127-146"}

29


30
@Article{Del:01,

31
author= "M. Delgado",

32
title= "Commutative images of rational languages and the Abelian kernel of a monoid",

33
journal= "Theoretical

34
Informatics and Applications",

35
volume= "35",

36
year= "2001",

37
pages= "419-435"}

38


39
@Techreport{AMORE:95,

40
author= "O. Matz and A. Miller and A. Potthoff and W. Thomas and E. Valkema",

41
title= "Report on the program AMoRe",

42
year= "1995",

43
institution= "Christian Albrechts Universit{\"a}t, Kiel",

44
number= "9507"}

45


46
@book{Sims:94,

47
      Author = "C.~C. Sims",

48
      Title = "Computation with Finitely Presented Groups",

49
      Publisher = {Cambridge University Press},

50
      Year = {1994}

51
}

52


53
@Article{Ash:91,

54
author= "C. J. Ash",

55
title= "Inevitable graphs: a proof of the type {II} conjecture and some related decision procedures",

56
journal= "Int. J. of Algebra and Computation",

57
volume= "1",

58
year= "1991",

59
pages= "127-146"}

60


61
@Book{Al:95,

62
author= "J. Almeida",

63
title= "Finite Semigroups and Universal Algebra",

64
year= "1995",

65
note= "English translation",

66
keywords= "finite semigroup, rational language, pseudovariety, implicit operation",

67
publisher= "World Scientific",

68
address= "Singapore"}

69


70


71
@Article{DF:00,

72
author= "M. Delgado and V. H. Fernandes",

73
title= "Abelian kernels of some monoids of injective partial transformations and an application",

74
journal= "Semigroup Forum",

75
volume= "61",

76
year= "2000",

77
pages= "435--452"}

78


79
@Techreport{KoutsofiosNorth:2002,

80
author= "D. Dobkin and J. Ellson and E. Gansner and E. Koutsofios and 

81
S. North and G. Woodhull",

82
title= "Graphviz - Graph Drawing Programs",

83
institution= "AT\&T Research and Lucent Bell Labs", 

84
year = "2002",

85
note         = "(http://www.research.att.com/sw/tools/graphviz)",

86
keywords     = " "}

87


88
@Article{MSW:2001,

89
author= "S. Margolis and M. Sapir and P. Weil",

90
title= "Closed subgroups in pro-{V} topologies and the extension problem for

91
  inverse automata",

92
journal= "Int. J. of Algebra and Computation",

93
volume= "11",

94
year= "2001",

95
pages= "405--445"}

96


97
@Article{KM:2002 ,

98
author= "I. Kapovich and A. Myasnikov",

99
title= "Stallings foldings and subgroups of free groups",

100
journal= "J. of Algebra",

101
volume= "248",

102
year= "2002",

103
pages= "608--668"}

104


105