Semigroup - PDFSEARCH.IO - Document Search Engine

Semigroup
Results: 394

#	Item
181	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein type classes & locales Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Semigroup Monoid Special classes of semigroups Bicyclic semigroup Semigroup theory Algebra Algebraic structures
182	Type Classes Common pattern in Mathematics: ➜ Define abstract structures (semigroup, group, ring, field, etc) ➜ Study and derive properties in these structures COMP 4161 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Monoid Semigroup Algebraic structures Algebra Semigroup theory
183	第 34 卷第 5 期 2004年10月中　国　科　学　技　术　大　学　学　报 Vol . 34 ,No. 5 Add to Reading List Source URL: just.ustc.edu.cn Language: English - Date: 2006-10-24 11:18:58 Special classes of semigroups Inverse semigroup Semigroup Inverse element Regular semigroup Nambooripad order Completely regular semigroup Band Semigroup with involution Semigroup theory Algebraic structures Mathematics
184	Enumeration Algorithms for Restricted and Unrestricted Compositions and Words Daniel Page April 8, 2011 Add to Reading List Source URL: www.pagewizardgames.com Language: English - Date: 2014-09-02 14:47:00 Mathematics Euclidean plane geometry Proofs involving the Moore–Penrose pseudoinverse Rees factor semigroup Bond credit rating Bonds Investment
185	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Higher-order functions Functional languages Algebraic structures Abstract data types Procedural programming languages Fold Monoid Semigroup Double-ended queue Software engineering Computing Computer programming
186	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Semigroup theory Abstract algebra Category theory Monoid Inverse element Semigroup Constructible universe Isabelle Fixed-point combinator Mathematics Algebra Algebraic structures
187	Resolvent Positive Linear Operators Exhibit the Reduction Phenomenon Lee Altenberg February 27, 2012 Add to Reading List Source URL: dynamics.org Language: English - Date: 2012-02-27 06:07:55 Functional analysis Linear algebra Convex analysis Operator theory Matrix theory Perron–Frobenius theorem C0-semigroup Vector space Convex function Mathematics Mathematical analysis Algebra
188	Regular Temporal Cost Fun tions Thomas Col ombet1 , Denis Kuperberg1 , Sylvain Lombardy2 1 Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Ligm - Université Paris-Est Marne-la-Vallée, Fran e Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Semigroup theory Mathematics Semigroup Metre Semiautomaton Automata theory Formal languages Category theory
189	1 Joseph Muscat 2013 Monoids and Groups The simplest case of a universal algebra (magma) is a set X with a single Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-10-01 03:49:14 Algebraic structures Semigroup theory Nonassociative algebra Group theory Functions and mappings Monoid Inverse element Semigroup Cancellation property Abstract algebra Mathematics Algebra
190	An automaton model for forest algebras. Antoine Delignat-Lavaud An automaton model for Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-31 10:20:39 Formal languages Algebra Mathematics Category theory Algebraic structures Syntactic monoid Regular language Monoid Monad Abstract algebra Automata theory Semigroup theory

UPDATE