Identified are a number of conditions on square patterns that are closely related to allowing commutativity with the full pattern. Implications and examples that show non-implications are given, along with a graph that summarizes the provided information. A complete description of commutativity with the full pattern is given in both the irreducible case and the reducible case in which there are two irreducible components.info:eu-repo/semantics/publishedVersio
Below I examine the meaning of condition (*) in any (not necessarily associative) ring and show that...
Dependent pattern matching is a safe and efficient way to write programs and proofs in dependently t...
This thesis work is about commutativity which is a very important topic in mathematics, physics, eng...
Identified are a number of conditions on square patterns that are closely related to allowing commut...
An integral property of all matrices is that multiplication is not commutative, that is, given two m...
AbstractWe investigate the role of commutativity in query processing of linear recursion. We give a ...
This paper is a continuation of the study of partially ordered patterns (POPs) introduced recently. ...
A pattern is a generic instance of a binary constraint satisfaction problem (CSP) in which the compa...
Modern order and lattice theory provides convenient mathematical tools for pattern mining, in partic...
The workshop will take place together with the virtual ECAI conference: https://digital.ecai2020.eu/...
A partial matrix is a matrix in which some entries are specified and others are not (all entries spe...
21 pages, 35 figures, minor changesWe define a non-commutative version of the $A_1$ T-system, which ...
In his Ph.D.thesis [3], Nelson Martins-Ferreira introduced a technical condition (for a certain type...
summary:Commutative Moufang loops were amongst the first (nonassociative) loops to be investigated; ...
We study three aspects of commutation classes of reduced decompo-sitions: the number of commutation ...
Below I examine the meaning of condition (*) in any (not necessarily associative) ring and show that...
Dependent pattern matching is a safe and efficient way to write programs and proofs in dependently t...
This thesis work is about commutativity which is a very important topic in mathematics, physics, eng...
Identified are a number of conditions on square patterns that are closely related to allowing commut...
An integral property of all matrices is that multiplication is not commutative, that is, given two m...
AbstractWe investigate the role of commutativity in query processing of linear recursion. We give a ...
This paper is a continuation of the study of partially ordered patterns (POPs) introduced recently. ...
A pattern is a generic instance of a binary constraint satisfaction problem (CSP) in which the compa...
Modern order and lattice theory provides convenient mathematical tools for pattern mining, in partic...
The workshop will take place together with the virtual ECAI conference: https://digital.ecai2020.eu/...
A partial matrix is a matrix in which some entries are specified and others are not (all entries spe...
21 pages, 35 figures, minor changesWe define a non-commutative version of the $A_1$ T-system, which ...
In his Ph.D.thesis [3], Nelson Martins-Ferreira introduced a technical condition (for a certain type...
summary:Commutative Moufang loops were amongst the first (nonassociative) loops to be investigated; ...
We study three aspects of commutation classes of reduced decompo-sitions: the number of commutation ...
Below I examine the meaning of condition (*) in any (not necessarily associative) ring and show that...
Dependent pattern matching is a safe and efficient way to write programs and proofs in dependently t...
This thesis work is about commutativity which is a very important topic in mathematics, physics, eng...