Monoid - PDFSEARCH.IO - Document Search Engine

Monoid
Results: 308

#	Item
131	Edit Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: dmwit.com Language: English - Date: 2011-11-12 16:54:07 Monoid Differential equation Camera lens Mathematical analysis Differentiation rules Integral calculus Mathematics Semigroup theory Category theory
132	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
133	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
134	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
135	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
136	A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:21 Monoidal categories Lambda calculus Traced monoidal category Monoid Morphism Sheaf Associative property Fixed-point combinator Cartesian closed category Algebra Mathematics Category theory
137	Automata theory Regular Cost Functions Formalisms on finite words Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-22 04:28:13 Mathematics Applied mathematics Regular language Aperiodic monoid Star-free language Finite-state machine Krohn–Rhodes theory Deterministic pushdown automaton Automata theory Formal languages Theoretical computer science
138	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
139	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
140	Automata theory Hard decision problems Regular Cost Functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:27:58 Mathematics Semigroup theory Algebra Category theory Models of computation Regular language Monoid Finite-state machine Free monoid Formal languages Abstract algebra Automata theory