Acceder

Bibliografías temáticas / Monoid / Tesis

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Monoid.

Tesis sobre el tema "Monoid"

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 25 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Monoid".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Render, Elaine. "Rational monoid and semigroup automata." Thesis, University of Manchester, 2010. https://www.research.manchester.ac.uk/portal/en/theses/rational-monoid-and-semigroup-automata(0aff0c17-b6f9-4bc8-95d1-ff98da059d42).html.

Texto completo

Resumen

We consider a natural extension to the definition of M-automata which allows the automaton to make use of more of the structure of the monoid M, and by removing the reliance on an identity element, allows the definition of S-automata for S an arbitrary semigroup. In the case of monoids, the resulting automata are equivalent to valence automata with rational target sets which arise in the theory of regulated rewriting. We focus on the polycyclic monoids, and show that for polycyclic monoids of rank 2 or more they accept precisely the context-free languages. The case of the bicyclic monoid is al

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Cevik, Ahmet Sinan. "Minimality of group and monoid presentations." Thesis, University of Glasgow, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.284692.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Salt, Brittney M. "MONOID RINGS AND STRONGLY TWO-GENERATED IDEALS." CSUSB ScholarWorks, 2014. https://scholarworks.lib.csusb.edu/etd/31.

Texto completo

Resumen

This paper determines whether monoid rings with the two-generator property have the strong two-generator property. Dedekind domains have both the two-generator and strong two-generator properties. How common is this? Two cases are considered here: the zero-dimensional case and the one-dimensional case for monoid rings. Each case is looked at to determine if monoid rings that are not PIRs but are two-generated have the strong two-generator property. Full results are given in the zero-dimensional case, however only partial results have been found for the one-dimensional case.

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Lima, Lucinda Maria de Carvalho. "The local automorphism monoid of an independence algebra." Thesis, University of York, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358341.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Catarino, Paula Maria Machado Cruz. "The monoid of orientation-preserving mappings on a chain." Thesis, University of Essex, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.266839.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Oltmanns, Helga. "Homological classification of monoids by projectivities of right acts." [S.l. : s.n.], 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=960378634.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Ramasu, Pako. "Internal monoid actions in a cartesian closed category and higher-dimensional group automorphisms." Doctoral thesis, University of Cape Town, 2015. http://hdl.handle.net/11427/20248.

Texto completo

Resumen

The notion of cat¹-group which was introduced by Loday is equivalent to the notions of crossed module and of internal category in the category of groups. This notion of cat¹-groups and their morphisms admits natural generalization to catⁿ-groups, which give rise to n-fold categories in the category of groups. There is also a characterization of catⁿ-groups in terms of crossed n-cubes which was given by Ellis and Steiner. The category Catⁿ (Groups) of internal n-fold categories in the category of groups is a cartesian closed category, however given an object X in Catⁿ (Groups), calculating corr

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Duchamp, Gérard. "Algorithmes sur les polynomes en variables non commutatives." Paris 7, 1987. http://www.theses.fr/1987PA077069.

Texto completo

Resumen

Etude des monoides libres et de leurs algebres. Presentation de nouvelles caracterisations des bisections reconnaissables; de la caracterisation des mots pouvant appartenir au support d'un polynome de lie et de l'etude de quelques proprietes algebriques de polynomes en variables partiallement commutatives. Etude du treillis des congruences regulieres sur le monoide bicyclique

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Tesson, Emilie. "Un hybride du groupe de Thompson F et du groupe de tresses B°°." Thesis, Normandie, 2018. http://www.theses.fr/2018NORMC212/document.

Texto completo

Resumen

Nous étudions un certain monoïde défini par une présentation, notée P, qui est un hybride de celles du monoïde de tresses infinies et du monoïde de Thompson. Pour cela, nous utilisons plusieurs approches. On décrit d’abord un système de réécriture convergent pour la présentation P, ce qui fournit en particulier une solution au problème de mots de P et rapproche le monoïde hybride du monoïde de Thompson. Puis, suivant le modèle du monoïde de tresses, on utilise la méthode du retournement de facteur pour analyser la relation de divisibilité à gauche, et montrer en particulier q

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

East, James Phillip Hinton. "On Monoids Related to Braid Groups and Transformation Semigroups." School of Mathematics and Statistics, 2006. http://hdl.handle.net/2123/2438.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

East, James Phillip Hinton. "On Monoids Related to Braid Groups and Transformation Semigroups." Thesis, The University of Sydney, 2005. http://hdl.handle.net/2123/2438.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Lohrey, Markus. "Computational and logical aspects of infinite monoids." [S.l. : s.n.], 2003. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10720633.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

Bertol, Michael W. "Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden." [S.l. : s.n.], 1996. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB5222391.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Kufleitner, Manfred. "Logical fragments for Mazurkiewicz traces expressive power and algebraic characterizations /." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-27812.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Bourne, Thomas. "Counting subwords and other results related to the generalised star-height problem for regular languages." Thesis, University of St Andrews, 2017. http://hdl.handle.net/10023/12024.

Texto completo

Resumen

The Generalised Star-Height Problem is an open question in the field of formal language theory that concerns a measure of complexity on the class of regular languages; specifically, it asks whether or not there exists an algorithm to determine the generalised star-height of a given regular language. Rather surprisingly, it is not yet known whether there exists a regular language of generalised star-height greater than one. Motivated by a theorem of Thérien, we first take a combinatorial approach to the problem and consider the languages in which every word features a fixed contiguous subword a

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Perez, Gavilan Torres Jacinta [Verfasser], Peter [Akademischer Betreuer] Littelmann, and Alexander [Akademischer Betreuer] Alldridge. "The symplectic plactic monoid, words, MV cycles, and non-Levi branchings / Jacinta Perez Gavilan Torres. Gutachter: Peter Littelmann ; Alexander Alldridge." Köln : Universitäts- und Stadtbibliothek Köln, 2015. http://d-nb.info/1082030481/34.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Owusu-Mensah, Isaac. "Algebraic Structures on the Set of all Binary Operations over a Fixed Set." Ohio University / OhioLINK, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1584490788584639.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Perone, Marco. "Direct sum decompositions and weak Krull-Schmidt Theorems." Doctoral thesis, Università degli studi di Padova, 2011. http://hdl.handle.net/11577/3427427.

Texto completo

Resumen

In this thesis we discuss the behaviour of direct sum decomposition in additive categories and in particular in categories of modules. In the first part of the thesis, we investigate the ring theoretical properties that play a main role in the theory of factorization in additive categories, like the exchange property, semilocality and Goldie dimension. We stress the importance of the latter and we investigate with care the infinite case of the dual Goldie dimension of rings. In the rest of the thesis, we use a more categorical approach, studying the behaviour of direct sum decomposition

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Marseglia, Stefano. "Isomorphism classes of abelian varieties over finite fields." Licentiate thesis, Stockholms universitet, Matematiska institutionen, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-130316.

Texto completo

Resumen

Deligne and Howe described polarized abelian varieties over finite fields in terms of finitely generated free Z-modules satisfying a list of easy to state axioms. In this thesis we address the problem of developing an effective algorithm to compute isomorphism classes of (principally) polarized abelian varieties over a finite field, together with their automorphism groups. Performing such computations requires the knowledge of the ideal classes (both invertible and non-invertible) of certain orders in number fields. Hence we describe a method to compute the ideal class monoid of an order and w

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Kuber, Amit Shekhar. "K-theory of theories of modules and algebraic varieties." Thesis, University of Manchester, 2014. https://www.research.manchester.ac.uk/portal/en/theses/ktheory-of-theories-of-modules-and-algebraic-varieties(5d4387d5-df36-455a-a09d-922d67b0827e).html.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Calladine, Pierre. "Equations et systèmes de réécritures dans le monoïde libre : une approche commune." Poitiers, 1989. http://www.theses.fr/1989POIT2254.

Texto completo

Resumen

Une structure originale, appelee codecoupage sur une famille de mots, permet de definir un ensemble de mots du monoide libre engendre par un alphabet a par la donnee de couples d'occurrences de facteurs egaux dans ces mots. Cette notion permet une demonstration nouvelle de l'existence et l'unicite d'une solution principale divisant une solution d'un systeme d'equations dans le monoide. Le concept de codecoupage permet aussi de definir une notion d'isomorphisme, combinatoire entre systemes de reecritures dans le monoide

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Krob, Daniel. "Expressions k-rationnelles." Paris 7, 1988. http://www.theses.fr/1988PA077088.

Texto completo

Resumen

Construction d'une theorie des expressions rationnelles sur un semi anneau k quelconque. La theorie est ensuite generalisee aux identites matricielles en montrant que certaines axiomes classiques entrainent leur version matricielle. Il est aussi etabli que l'etoile formelle d'une matrice se definit de maniere unique, module les axiomes classiques. Un calcul differentiel sur les expressions k-rationnelles est etudie, en montrant comment l'on peut deduire des identites derivees. Dans une derniere partie, les codes intervenant dans une factorisation finie du monoide libre sont etudies

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

ABBADINI, MARCO. "ON THE AXIOMATISABILITY OF THE DUAL OF COMPACT ORDERED SPACES." Doctoral thesis, Università degli Studi di Milano, 2021. http://hdl.handle.net/2434/812809.

Texto completo

Resumen

We prove that the category of Nachbin's compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of at most countable arity. Furthermore, we show that the countable bound on the arity is the best possible: the category of compact ordered spaces is not dually equivalent to any variety of finitary algebras. Indeed, the following stronger results hold: the category of compact ordered spaces is not dually equivalent to (i) any finitely accessible category, (ii) any first-order definable class of structures, (iii) any

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Powell, Mark Andrew. "Second order algebraic knot concordance group." Thesis, University of Edinburgh, 2011. http://hdl.handle.net/1842/5030.

Texto completo

Resumen

Let Knots be the abelian monoid of isotopy classes of knots S1 ⊂ S3 under connected sum, and let C be the topological knot concordance group of knots modulo slice knots. Cochran-Orr-Teichner [COT03] defined a filtration of C: C ⊃ F(0) ⊃ F(0.5) ⊃ F(1) ⊃ F(1.5) ⊃ F(2) ⊃ . . .The quotient C/F(0.5) is isomorphic to Levine’s algebraic concordance group AC1 [Lev69]; F(0.5) is the algebraically slice knots. The quotient C/F(1.5) contains all metabelian concordance obstructions. The Cochran-Orr-Teichner (1.5)-level two stage obstructions map the concordance class of a knot to a pointed set (COT (C/1.5

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Wilding, David. "Linear algebra over semirings." Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/linear-algebra-over-semirings(1dfe7143-9341-4dd1-a0d1-ab976628442d).html.

Texto completo

Resumen

Motivated by results of linear algebra over fields, rings and tropical semirings, we present a systematic way to understand the behaviour of matrices with entries in an arbitrary semiring. We focus on three closely related problems concerning the row and column spaces of matrices. This allows us to isolate and extract common properties that hold for different reasons over different semirings, yet also lets us identify which features of linear algebra are specific to particular types of semiring. For instance, the row and column spaces of a matrix over a field are isomorphic to each others' dua

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Golchin, Akbar. "Homological classification of monoids." Thesis, University of Southampton, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.243655.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Rannou, Pierre. "Réécriture de diagrammes et de Sigma-diagrammes." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4063.

Texto completo

Resumen

Peaks andThe main subject of this thesis is diagram rewriting.This is a generalisation to dimension~$2$ of word rewriting (in dimension~$1$). In a first time, we give the first convergent diagrammatic presentation of the PRO of linear maps in arbitrary field. Then we study the convergent diagrammatic presentation of matrix of isometries of $RR^n$. We focus especially on a rule similar to the Yang-Baxter equation, described by a certain map $h$. We use the confluence of critical the parametric diagrams, To study the algebraic properties of $h$, Finally, we present the $Sigma$-diagrams, an alter

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Gohon, Philippe. "Automates avec coût et reconnaissabilité dans les monoïdes libres commutatifs." Rouen, 1986. http://www.theses.fr/1986ROUES009.

Texto completo

Resumen

Etude des automates munis d'une fonction de coût sur un alphabet à une seule lettre : calcul de la borne optimale. Etude des monoïdes libres commutatifs finiment engendrés, des représentations des parties rationnelles. Preuve de la décidabilité de savoir si une partie rationnelle est limitée

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Pecuchet, Jean-Pierre. "Automates boustrophédons : langages reconnaissables de mots infinis et variétés de semigroupes." Rouen, 1986. http://www.theses.fr/1986ROUES005.

Texto completo

Resumen

La 1ère partie traite des automates boustrophédons, du semi-groupe de Birget et du monoïde inversif libre. La 2ème partie étudie le comportement infini d'un automate boustrophédon, la 3ème partie est consacrée aux variétés de semi-groupes et aux mots infinis. La 4ème partie poursuit la classification des langages rationnels de mots infinis à l'aide des variétés des semi-groupes

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Beaudry, Martin. "Membership testing in transformation monoids." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=75773.

Texto completo

Resumen

Given a finite set X of states, a finite set of transformations of X (generators), and another transformation f of X, we analyze the complexity of the membership problem, which consists in deciding whether f can be obtained by composition of the generators. This problem is studied for various classes (pseudovarieties) of monoids. It is shown that the complexity is NP-hard for monoids of threshold 2 or more, and NP-complete in commutative, J- and R-trivial monoids. For idempotent monoids (aperiodic of threshold one), the problem is NP-complete in the general case; subcases are analyzed, and a l

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Hindlycke, Christoffer. "Irreducible representations of finite monoids." Thesis, Uppsala universitet, Algebra och geometri, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-380588.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Jones, David G. "Polycyclic monoids and their generalisations." Thesis, Heriot-Watt University, 2011. http://hdl.handle.net/10399/2473.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Bailey, Alexander. "Covers of acts over monoids." Thesis, University of Southampton, 2013. https://eprints.soton.ac.uk/363273/.

Texto completo

Resumen

Since they were first defined in the 1950's, projective covers (the dual of injective envelopes) have proved to be an important tool in module theory, and indeed in many other areas of abstract algebra. An attempt to generalise the concept led to the introduction of covers with respect to other classes of modules, for example, injective covers, torsion-free covers and at covers. The at cover conjecture (now a Theorem) is of particular importance, it says that every module over every ring has a at cover. This has led to surprising results in cohomological studies of certain categories. Given a

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Wannenburg, Johann Joubert. "Varieties of De Morgan Monoids." Thesis, University of Pretoria, 2020. http://hdl.handle.net/2263/75178.

Texto completo

Resumen

De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM of all De Morgan monoids models the relevance logic Rt (so-named because it blocks the derivation of true conclusions from irrelevant premises). The so-called subvarieties and subquasivarieties of DMM model the strengthenings of Rt by new logical axioms, or new inference rules, respectively. Meta-logical problems concerning these stronger systems amount to structural problems about (classes of) De Morgan monoids, and the methods of universal algebra can be exploited to solve them. Until now,

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Burns, Brenda D. "The Staircase Decomposition for Reductive Monoids." NCSU, 2002. http://www.lib.ncsu.edu/theses/available/etd-20020422-102254.

Texto completo

Resumen

<p>Burns, Brenda Darlene. The Staircase Decomposition for Reductive Monoids. (Under the direction of Mohan Putcha.) The purpose of the research has been to develop a decomposition for the J-classes of a reductive monoid. The reductive monoid M(K) isconsidered first. A J-class in M(K) consists ofelements of the same rank. Lower and upper staircase matricesare defined and used to decompose a matrix x of rank r into theproduct of a lower staircase matrix, a matrix with a rank rpermutation matrix in the upper left hand corner, and an upperstaircase matrix, each of which is of rank r. The choice of

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Williamson, Helen. "Immersions of complexes and inverse monoids." Thesis, University of York, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261082.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Hollings, Christopher David. "Partial actions of semigroups and monoids." Thesis, University of York, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.440689.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Cutting, Andrew. "Todd-Coxeter methods for inverse monoids." Thesis, University of St Andrews, 2001. http://hdl.handle.net/10023/15052.

Texto completo

Resumen

Let P be the inverse monoid presentation (X|U) for the inverse monoid M, let π be the set of generators for a right congruence on M and let u Є M. Using the work of J. Stephen [15], the current work demonstrates a coset enumeration technique for the R-class Ru similar to the coset enumeration algorithm developed by J. A. Todd and H. S. M. Coxeter for groups. Furthermore it is demonstrated how to test whether Ru = Rv, for u, v Є M and so a technique for enumerating inverse monoids is described. This technique is generalised to enumerate the H-classes of M. The algorithms have been implemented i

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Ramos, Sandra Isabel Diogo. "O monoide bicíclico: subsemigrupos e generalizações." Master's thesis, Universidade de Aveiro, 2008. http://hdl.handle.net/10773/2904.

Texto completo

Resumen

Mestrado em Matemática - Ensino<br>Esta dissertação consiste num trabalho de recolha bibliográfica e síntese sobre o monoide bicíclico, B, propriedades, subsemigrupos, e generalizações. Iniciase o trabalho com uma breve introdução à teoria de semigrupos em geral, com ênfase para os conceitos necessários aos restantes capítulos. Definimos monoide bicíclico e apresentamos algumas propriedades notáveis do mesmo, fazemos a descrição de todos os subsemigrupos de B, que utilizamos para estabelecer diversas propriedades destes subsemigrupos. Estudamos apenas em detalhe uma generalização e refe

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Duboc, Christine. "Commutations dans les monoïdes libres : un cadre théorique pour l'étude du parallélisme." Rouen, 1986. http://www.theses.fr/1986ROUES003.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Li, Zhuo. "Orbit structure of finite and reductive monoids." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21301.pdf.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Smith, Eric R. "Right congruences on inverse Bruck-Reilly monoids." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21316.pdf.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

ArauÌjo, JoaÌƒo Jorge Ribeiro Soares GoncÌ§alves de. "Aspects of endomorphism monoids of independence algebras." Thesis, University of York, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.274496.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Hage, Nohra. "Study of plactic monoids by rewriting methods." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSES065/document.

Texto completo

Resumen

Cette thèse est consacrée à l’étude des monoïdes plaxiques par une nouvelle approche utilisant des méthodes issues de la réécriture. Ces méthodes sont appliquées à des présentations de monoïdes plaxiques décrites en termes de tableaux de Young, de bases cristallines de Kashiwara et de modèle des chemins de Littelmann. On étudie le problème des syzygies pour la présentation de Knuth des monoïdes plaxiques. En utilisant la procédure de complétion homotopique basée sur les procédures de complétion de Squier et de Knuth–Bendix, on construit des présentations cohérentes de monoïdes plaxiques de typ

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Pasku, Elton. "Finiteness conditions for monoids and small categories." Thesis, University of Glasgow, 2006. http://theses.gla.ac.uk/6171/.

Texto completo

Resumen

Chapter 1 covers some basic notions and results from Algebraic Topology such as CW-complexes, homotopy and homology groups of a space in general and cellular homology for CW-complexes in particular. Also we give some basic ideas from abstract reduction systems and some supporting material such as several order relations on a set and the Knuth-Bendix completion procedure. There are only two original results of the author in this chapter, Theorem 1.4.5 and Theorem 1.7.3. The material related to Topology and Homological Algebra can be found in [12], [21], [40], [62], [82], [91] and [92]. The mate

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Rozoy, Brigitte. "Un modele de parallelisme : le monoide distribue." Caen, 1987. http://www.theses.fr/1987CAEN2039.

Texto completo

Resumen

La mise en evidence d'equivalences des modeles mathematiques du parallelisme asynchrone nous amene a creer un nouveau modele dit monoide distribue qui constitue les differents modeles existants. Les problemes de cette etude sont la reconnaissabilite dans ce monoide et la terminaison distribuee dans les reseaux repartis asynchrones

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Grosshans, Nathan. "The limits of Nečiporuk's method and the power of programs over monoids taken from small varieties of finite monoids." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLN028/document.

Texto completo

Resumen

Cette thèse porte sur des minorants pour des mesures de complexité liées à des sous-classes de la classe P de langages pouvant être décidés en temps polynomial par des machines de Turing. Nous considérons des modèles de calcul non uniformes tels que les programmes sur monoïdes et les programmes de branchement. Notre première contribution est un traitement abstrait de la méthode de Nečiporuk pour prouver des minorants, indépendamment de toute mesure de complexité spécifique. Cette méthode donne toujours les meilleurs minorants connus pour des mesures telles que la taille des programmes de branc

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Pirashvili, Ilia. "The fundamental groupoid and the geometry of monoids." Thesis, University of Leicester, 2016. http://hdl.handle.net/2381/37837.

Texto completo

Resumen

This thesis is divided in two equal parts. We start the first part by studying the Kato-spectrum of a commutative monoid M, denoted by KSpec(M). We show that the functor M → KSpec(M) is representable and discuss a few consequences of this fact. In particular, when M is additionally finitely generated, we give an efficient way of calculating it explicitly. We then move on to study the cohomology theory of monoid schemes in general and apply it to vector- and particularly, line bundles. The isomorphism class of the latter is the Picard group. We show that under some assumptions on our monoid sch

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Simmons, Christopher Paul. "Small category theory applied to semigroups and monoids." Thesis, University of York, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249334.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Tunsi, Laila. "Ample monoids and the theory of small categories." Thesis, University of York, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.423599.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!