<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Functional languages / Semigroup theory / Abstract data types / Algebraic structures / Programming language comparisons / Double-ended queue / Queue / Monoid / Semigroup
Date: 2018-08-15 07:18:41
Software engineering
Computer programming
Computing
Functional languages
Semigroup theory
Abstract data types
Algebraic structures
Programming language comparisons
Double-ended queue
Queue
Monoid
Semigroup

Add to Reading List

Source URL: isabelle.in.tum.de

Download Document from Source Website

File Size: 460,51 KB

Share Document on Facebook

Similar Documents

THE CATENARY DEGREE OF KRULL MONOIDS II arXiv:1407.0548v1 [math.AC] 2 Jul 2014 ALFRED GEROLDINGER AND QINGHAI ZHONG Abstract. Let H be a Krull monoid with finite class group G such that every class contains a prime

DocID: 1uPXf - View Document

A CHARACTERIZATION OF CLASS GROUPS VIA SETS OF LENGTHS II arXiv:submitmath.NT] 17 Jun 2015 ALFRED GEROLDINGER AND QINGHAI ZHONG Abstract. Let H be a Krull monoid with finite class group G and suppose that ever

DocID: 1u9Yj - View Document

The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot

DocID: 1u5re - View Document

EMBEDDING IN FACTORISABLE RESTRICTION MONOIDS ´ HARTMANN, AND MARIA ´ VICTORIA GOULD, MIKLOS B. SZENDREI Abstract. Each restriction semigroup is proved to be embeddable in a factorisable restriction monoid, or, equival

DocID: 1rD2C - View Document

Algebra / Abstract algebra / Mathematics / Semigroup theory / Algebraic structures / Semigroup / Special classes of semigroups / Monoid / Valuation / Free monoid / Semigroup with involution

The Most General Conservation Law for a Cellular Automaton Enrico Formenti1? , Jarkko Kari2?? , and Siamak Taati32 1 Universit´e de Nice-Sophia Antipolis, D´epartment d’Informatique,

DocID: 1rqpP - View Document