Trace monoid - PDFSEARCH.IO - Document Search Engine

Trace monoid
Results: 6

#	Item
1	TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 364, Number 8, August 2012, Pages 4425–4464 SArticle electronically published on March 29, 2012 Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2015-06-17 03:57:57 Monoidal categories Morphism Trace Product Monoid Coproduct Additive category Traced monoidal category Rigid category
2	Commutative closures of regular languages Commutative closures of regular languages Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:58 Formal languages Semigroup theory Monoid Free monoid Trace monoid Regular language Trace theory Abstract algebra Category theory Mathematics
3	L3 Summer internship report Laboratoire Bordelais de Recherche en Informatique June – July 2009 Advisors: Anca Muscholl and Marc Zeitoun Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:38 Algebra Formal languages Algebraic structures Category theory Monoid Free monoid Semigroup Model theory Trace monoid Abstract algebra Semigroup theory Mathematics
4	Two 2-traces Simon Willerton University of Sheffield Tr& (f ) := Add to Reading List Source URL: www.simonwillerton.staff.shef.ac.uk Language: English - Date: 2008-12-03 15:25:51 Monoidal categories Category theory Abstract algebra Functor Trace Dual Tensor product Monoid Morphism Algebra Mathematics Linear algebra
5	A Gentle Introduction to Type Classes and Relations in Coq Pierre Castéran Add to Reading List Source URL: www.labri.fr Language: English - Date: 2012-05-31 04:34:05 Algebraic structures Semigroup theory Mathematical structures Ring theory Formal languages Monoid Ring Monad Trace monoid Abstract algebra Mathematics Algebra
6	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science

UPDATE