Monoid - PDFSEARCH.IO - Document Search Engine

Monoid
Results: 308

#	Item
171	Monads and More: Part 4 Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Nottingham, 14–18 May 2007 University of Udine, 2–6 July 2007 Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2007-07-09 06:40:03 Adjoint functors Monoidal functor Monoidal natural transformation Monad Functor Natural transformation Monoid Category theory Monoidal categories Algebra
172	Strings and Stripes Graphical Calculus for Monoidal Functors and Monads Micah Blake McCurdy Macquarie University Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-07-19 01:34:09 Monoidal functor Monoidal monad Monoidal natural transformation Monad Monoid Coherence condition Functor Strong monad Monoidal adjunction Monoidal categories Category theory Algebra
173	Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource Add to Reading List Source URL: www.ru.is Language: English - Date: 2010-10-27 04:45:47 Philosophical logic Category theory Theoretical computer science Modal logic Bisimulation Logic in computer science Kripke semantics F-coalgebra Monoid Mathematics Abstract algebra Logic
174	Stably Computable Predicates are Semilinear Dana Angluin James Aspnes Department of Computer Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-02-03 22:51:46 Group theory Functions and mappings Lemmas Linear algebra Category theory Monoid Function Coset Pumping lemma for context-free languages Mathematics Algebra Abstract algebra
175	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
176	Event-State Duality: The Enriched Case Vaughan R. Pratt Stanford University, Stanford CA 94305, USA [removed] http://boole.stanford.edu/pratt.html Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:02 Category theory Mathematical structures Algebraic structures Monoidal categories Chu space Enriched category Monoid Functor Category Algebra Mathematics Abstract algebra
177	The Ekaterinburg seminar “Algebraic Systems”: 40 years of activities Add to Reading List Source URL: www.eurasc.org Language: English - Date: 2008-10-10 10:52:27 Mathematics Algebraic structures Semigroup Variety Inverse element Inverse semigroup Regular semigroup Monoid Lattice Abstract algebra Algebra Semigroup theory
178	A Quantitative Study of Reductions in Algebraic Libraries Yue Li Gabriel Dos Reis Texas A&M University Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-05-18 16:53:03 Algebraic structures Ring theory Mathematical structures Mathematical logic Nonassociative algebra Monoid Axiom Rewriting Ring Abstract algebra Mathematics Algebra
179	ACM Communications in Computer Algebra, Vol. 45, No. 2, Issue 176, June[removed]An Automatic Parallelization Framework for OpenAxiom Yue Li and Gabriel Dos Reis Texas A&M University College Station, USA, [removed] Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-05-18 16:53:00 Semigroup theory Structure Category theory Monoid Parallel computing Automatic parallelization Continuation Reduction Algebraic structures Mathematics Algebra
180	In Math. Struct. in Comp. Science, 13:4, [removed], August[removed]Transition and Cancellation in Concurrency and Branching Time Vaughan R. Pratt Stanford University Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-11-01 13:39:49 Mathematics Category theory Formal languages Theoretical computer science Concurrency Petri net Actor model Monoid Parallel computing Automata theory Abstract algebra Models of computation

UPDATE