نتایج جستجو برای: partially ordered semigroup

تعداد نتایج: 182240  

2006
R. GARCIA

For example, thus far, I had the fortune to work intimately with nine (9) undergraduate students on research questions in the areas of computational algebra and algebraic geometry. I am directing two master’s students in their research for their theses at Sam Houston State University. All of these undergraduate students have enrolled in graduate programs around the country. Three have finished ...

Journal: :Acta Cybern. 2008
Endre Vármonostory

A partial order on a set A induces a partition of each power An into “patterns” in a natural way. An operation on A is called a -pattern operation if its restriction to each pattern is a projection. We examine functional completeness of algebras with -pattern fundamental operations.

Journal: :Journal of the Egyptian Mathematical Society 2015

Journal: :Advances in Applied Mathematics 1998

Journal: :Theoretical Computer Science 2005

Journal: :Acta Crystallographica Section A Foundations and Advances 2020

1999
Karsten Henckell

In this paper we give a new proof of the following result of Straubing and Thérien: every J -trivial monoid is a quotient of an ordered monoid satisfying the identity x ≤ 1. We will assume in this paper that the reader has a basic background in finite semigroup theory (in particular, Green’s relations and identities defining varieties) and in computer science (languages, trees, heaps). All semi...

Journal: :J. Log. Comput. 2009
Maria Silvia Pini Francesca Rossi Kristen Brent Venable Toby Walsh

Preferences are not always expressible via complete linear orders: sometimes it is more natural to allow for the presence of incomparable outcomes. This may hold both in the agents’ preference ordering and in the social order. In this article, we consider this scenario and study what properties it may have. In particular, we show that, despite the added expressivity and ability to resolve confl...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید