Monoid

Results: 308



#Item
31Formal Methods in Manufacturing

Formal Methods in Manufacturing

Add to Reading List

Source URL: www.control.tu-berlin.de

Language: English - Date: 2015-03-26 12:20:58
32Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers.

Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers.

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2016-07-08 05:39:59
33PRESENTATION OF THE MOTZKIN MONOID  arXiv:1301.4518v1 [math.RT] 18 Jan 2013 KRIS HATCH, MEGAN LY, ELIEZER POSNER

PRESENTATION OF THE MOTZKIN MONOID arXiv:1301.4518v1 [math.RT] 18 Jan 2013 KRIS HATCH, MEGAN LY, ELIEZER POSNER

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-01-21 20:17:44
34Leaving the Nest: Nominal techniques for variables with interleaving scopes Murdoch J. Gabbay1 , Dan R. Ghica2 , and Daniela Petrişan3 1 2 3

Leaving the Nest: Nominal techniques for variables with interleaving scopes Murdoch J. Gabbay1 , Dan R. Ghica2 , and Daniela Petrişan3 1 2 3

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2015-06-27 12:59:58
35Period Math Hung DOIs10998Restriction semigroups and λ-Zappa-Szép products Victoria Gould1 · Rida-E-Zenab2

Period Math Hung DOIs10998Restriction semigroups and λ-Zappa-Szép products Victoria Gould1 · Rida-E-Zenab2

Add to Reading List

Source URL: www-users.york.ac.uk

Language: English - Date: 2016-05-19 12:11:12
36Free idempotent generated semigroups and partial endomorphism monoids of free G -acts Dandan Yang York, JanuaryDandan Yang )

Free idempotent generated semigroups and partial endomorphism monoids of free G -acts Dandan Yang York, JanuaryDandan Yang )

Add to Reading List

Source URL: www-users.york.ac.uk

Language: English - Date: 2016-05-17 05:02:00
37Frobenioids 2  Frobenioids 2 Weronika Czerniawska The Univeristy of Nottingham

Frobenioids 2 Frobenioids 2 Weronika Czerniawska The Univeristy of Nottingham

Add to Reading List

Source URL: www.maths.nottingham.ac.uk

Language: English - Date: 2016-07-19 19:48:42
38.  [IUTch-III-IV] from the Point of View of Mono-anabelian Transport III .

. [IUTch-III-IV] from the Point of View of Mono-anabelian Transport III .

Add to Reading List

Source URL: www.kurims.kyoto-u.ac.jp

Language: English - Date: 2016-07-21 20:11:26
39Scrap Your Boilerplate with Object Algebras Haoyuan Zhang Zewei Chu Bruno C. d. S. Oliveira  Tijs van der Storm

Scrap Your Boilerplate with Object Algebras Haoyuan Zhang Zewei Chu Bruno C. d. S. Oliveira Tijs van der Storm

Add to Reading List

Source URL: i.cs.hku.hk

Language: English - Date: 2015-10-19 03:28:23
40Representing semigroups and groups by endomorphisms of Fra¨ıss´e limits Part I. Semigroup embeddings Igor Dolinka

Representing semigroups and groups by endomorphisms of Fra¨ıss´e limits Part I. Semigroup embeddings Igor Dolinka

Add to Reading List

Source URL: www.maths.dur.ac.uk

Language: English - Date: 2015-08-14 12:40:44