BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
group (10)
word (10)
theorem (5)
order (3)
avoid (3)

Stem abelian$ (all stems)

29 papers:

LATALATA-2015-FiciLLP #online
Online Computation of Abelian Runs (GF, TL, AL, ÉPG), pp. 391–401.
CSLCSL-2015-BovaM #finite #first-order #query
First-Order Queries on Finite Abelian Groups (SB, BM), pp. 41–59.
DLTDLT-J-2013-GocRRS14 #automation #on the #word
On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.
DLTDLT-2014-EhlersMMN #pattern matching
k-Abelian Pattern Matching (TE, FM, RM, DN), pp. 178–190.
DLTDLT-2014-KarhumakiP #on the #word
On k-Abelian Palindromic Rich and Poor Words (JK, SP), pp. 191–202.
DLTDLT-2014-KarhumakiSZ #equivalence #theorem
Variations of the Morse-Hedlund Theorem for k-Abelian Equivalence (JK, AS, LQZ), pp. 203–214.
DLTDLT-J-2012-KarhumakiPS13 #theorem
Fine and Wilf’s Theorem for k-Abelian Periods (JK, SP, AS), pp. 1135–1152.
DLTDLT-2013-Blanchet-SadriF #complexity #on the #word
On the Asymptotic Abelian Complexity of Morphic Words (FBS, NF), pp. 94–105.
DLTDLT-2013-FiciLLLMP #word
Abelian Repetitions in Sturmian Words (GF, AL, TL, AL, FM, ÉPG), pp. 227–238.
3-Abelian Cubes Are Avoidable on Binary Alphabets (RM, AS), pp. 374–383.
DLTDLT-2013-RampersadRS #on the #word
On the Number of Abelian Bordered Words (NR, MR, PS), pp. 420–432.
DLTDLT-J-2011-DomaratzkiR12 #word
Abelian Primitive Words (MD, NR), pp. 1021–1034.
DLTDLT-2012-KarhumakiPS #theorem
Fine and Wilf’s Theorem for k-Abelian Periods (JK, SP, AS), pp. 296–307.
ICALPICALP-v1-2012-BabaiCQ #morphism #polynomial
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups — (Extended Abstract) (LB, PC, YQ), pp. 51–62.
DLTDLT-2011-Blanchet-SadriS #word
Avoiding Abelian Powers in Partial Words (FBS, SS), pp. 70–81.
DLTDLT-2011-DomaratzkiR #word
Abelian Primitive Words (MD, NR), pp. 204–215.
LATALATA-2010-Blanchet-SadriKMSS #word
Abelian Square-Free Partial Words (FBS, JIK, RM, WS, SS), pp. 94–105.
DLTDLT-2009-GlenHK #word
Crucial Words for Abelian Powers (AG, BVH, SK), pp. 264–275.
Combinable Extensions of Abelian Groups (EN, CR, MR), pp. 51–66.
ICPRICPR-2008-GurS #detection #invariant
Non-Abelian invariant feature detection (YG, NAS), pp. 1–4.
IJCARIJCAR-2001-Waldmann #order
Superposition and Chaining for Totally Ordered Divisible Abelian Groups (UW), pp. 226–241.
LICSLICS-2001-GodoyN #constraints #deduction #monad #on the
On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (GG, RN), pp. 38–47.
Paramodulation with Built-in Abelian Groups (GG, RN), pp. 413–424.
Superposition for Divisible Torsion-Free Abelian Groups (UW), pp. 144–159.
CADECADE-1996-GanzingerW #monad #proving #theorem proving
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract) (HG, UW), pp. 388–402.
RTARTA-1993-Zhang #case study
A Case Study of Completion Modulo Distributivity and Abelian Groups (HZ), pp. 32–46.
Abelian Squares are Avoidable on 4 Letters (VK), pp. 41–52.
LICSLICS-1988-BoudetJS #unification
Unification in Free Extensions of Boolean Rings and Abelian Groups (AB, JPJ, MSS), pp. 121–130.
CADECADE-1984-LankfordBB #algorithm
A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.