This paper focuses on the fixed polarity ReedMuller (FPRM) expression of multiple-valued logic (MVL) symmetric functions. In the FPRM expression, each variable occurs in exactly o...
Svetlana N. Yanushkevich, Jon T. Butler, Gerhard W...
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
The ability of the active microwave remote sensing to complement existing optical vegetation indices has been explored by variety of studies [1-4]. To demonstrate these complement...
Marcela Doubkova, Vahid Naeimi, Wolfgang Wagner, G...
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...
Jennifer Chubb, Valentina S. Harizanov, Andrei S. ...
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...