Quelle  root.bib

  =  {} Algebra ComputerScience},
  author    = {Desharnaiseditor={erghammerR.andJaoua, A  M{"} .,
title={DomainandAntidomain Semigroups}java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
       {esharnais.andStruthG.,
  editor    = {  title      Domain forofNear}
  series     {-}
  volume    = {5827         2008,
  publisher = {Springer  series     { Notesin Computer Science}
  year= {2009,
  pages     = {73--year= {008java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
  year      =   journal   ={Science  Computer },
}

articleDesharnaisMoellerStruthLMCS,
author     {esharnais,J.andM{"o}ller B.and Struth, G.,
  title     = {Algebraicjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  journal   = {Logical  title     = {oncurrentDynamic Algebra}
  volume    = {7},      ={16},
     1,
year={2011
}

@inproceedingsjournal Theoretical Science}
  author    =  number={2}
ainAxioms  aFamily ofNearSemirings}
  booktitle = {{AMAST} 2008},
  pages     = {330--345}}
  year      = {2008},
  editor    = {Meseguer, J. and Rosu, G.},
  series    = {Lecture Notes in Computer Science},
  volume    = {5140},
  publisher = {Springer},
  year      = {2008}
}

@article{DesharnaisStruthSCP,
  author    = {Desharnais, J. and Struth, G.},
  title      {nternalaxioms domainsemirings},
  journal   = {Science      ={Solin, K},
  volume    ={76},
  number    = {                  andaction},
  pages= {181--203}
  year        volume    ={0},
}

@article{FurusawaStruth,
r     Furusawa H and Struth,G.},
  title     = {Concurrent Dynamic Algebra},
  journal   = {{ACM} {TOCL}},
  volume    = {16},
  number    = {{4}
  pages= {0,
  year      = {utomated Reasoning in Higher- RegularAlgebra},
}

        = 2012,
  author    = {{"o}ller, B and Struth G},
  title     = {Algebras of modalee         https/doiorg/10.1007978-642333149_}
  journal   = {Theoretical Computer Science},
  volume    = {351},
  number    = {2},
  pages     = {221--239},
  year       {006}
}


{Solin11,
  java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  title      {ommutation, Transformation,andTermination},
                  and action  editor     {{"} H Siekmann},
  journal   = {J.\ Logic and Algebraic Programming},
  volume    = {80},
  number    = {6},
  year      = {2011},
  pages     = {362-375}}
}

@inproceedingsSpringer,
  author    = {Alasdair Armstrong and Georg Struth},
  title     = {Automated Reasoning in Higher-Order Regular Algebra},
  booktitle= {1986},
  year      = {2012,
  pages     = {@{birkhoff67lattices,
  ee        ={://doiorg/10.007/978---33314-9_},
  editor    = {Wolfram Kahl and Timothy G. Griffin},
   = {pringer,
  series    = {Lecture Notes in   = {American Mathematical SocietyColloquium Publications}java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
    = {}
}

@inproceedings{bachmair86commutation    ={Maurice Boffa,
  author= { Bachmairand Nachum Dershowitz,
  title     =                  rationnelles,
= {{\o}rg H. Siekmann,
  booktitle = {Conference on Automated Deductionyear= {1990},
  volume    = {230},
  series  number= {4},
  pages     ={5-20}java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  publisherauthor={Ernie Cohen},
  year      = {1986},
  ee        = {https:/  booktitle  {PC,
}

  pages={45-59}
  author      ee         {ttps:/doiorg/101007107220104},
  title= LatticeTheory},
  publisher = {American Mathematical Society Colloquium Publications},
  year       {1967java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
}

@rticle{boffa90remarque,
  author  = {Maurice Boffa},
  title   = {Une remarque sur les syst\`emes complets d'identit
                  rationnelles}
  journal = {Informatique The\'  title      RegularAlgebra andFinite Machines},
  year     {990,
  volume  = {24},  year      ={}
    ={},
  pagesauthor={achumDershowitz}java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
}       OrnaGrumberg andMichael Kaminski andShmuelKatzand

@inproceedings{cohen00omega,
author={Ernie Cohen,
  title     = {Separation and Reduction},
  booktitle = {MPC},
  year= 2000},
  pages     = {45--59},
  ee        = {https  series    ={ NotesinComputer Science},
      ={RolandCarlBackhouse {'}  Oliveira}java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
  publisheryear={}
  series :.org./--42-5
  volume    = {1837}
}

@@rticle{esharnaismoellerstruth06kad,
         Jules andBernhardM\ollerand Georg
  title     =                   Struth}
  publisher={hapman Hall,
  year      = {1971}
}

@inproceedings{dershowitz09lazy,
  author    = {Nachum Dershowitz},
  title     = {  volume    ={}
editor={ Grumbergand  Kaminskiand  Katzand
                  Shuly Wintner},
   = Languages  Formalto Natural},
  volume    = {5533},
  series    = {Lecture           http:doi.rg101145/1832781183285
     {-2,
  publisher = {Springer},
  year                         },
978---01748-3_5}
}

@article{desharnaismoellerstruth06kadjournal   ={ Computer},
  author    = {  number     1-2,
                  Struth},  pages= {103-135,
  title= {Kleene}Algebra with Domain}
  journal   = {ACM {TOCL}},
  volumeinproceedingsfosterstruth12regalg,
  number= 4}
  year  title={Automated Analysis  Regular Algebra,
= {98-},
  ee        = {http://  year      ={}
}

@article{doornbos97calculational,
  author    = {Henk Doornbos and Roland Carl Backhouse and Jaap van
                  der Woude},
  title     = {A Calculational Approach to Mathematical Induction},
  journal   = {Theoretical Computer Science},
  volume    ={179,
  number    = {1--2}      ={ Notesin Computer Science,
  year      =
  pages     ={103-135}
  ee        = {https:/       { Foster GeorgStruth  Weber
}

@inproceedings{                    {}/-Invited}
  author    Harrie .Swart
title Automated of Algebrajava.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
booktitle ={{IJCAR 2012,
  year      = {2012},
  pages     = {271--285},
  ee        }
  editor    sjipsenkowalskiono07residuated
  publisher ={},
  series    = {Lecture Notes                    Onojava.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
  volume={364java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
}{gondran10graphs

@inproceedingstitle={raphsDioids :NewModels andAlgorithms},
  author  volume    = 41java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
  title     = {Automated ={Springer}java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
                  
  booktitle =       {alter  andGeorg  and Tjark Weber}
  year      ={2011,
  editor    = {Harrie C. M. de Swart},
  publisher = {Springer},
  series    = {Lecture Notes   booktitle  {ICFEM}2011,
  volume    = {6663},
  pages      52-}
  ee        = {https://doi.org/10.1007/978-3-642-21070-  ee         {://doi./10.1007/978----_}java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
}

@bookinproceedingsguttmannstruthweber11tarskikleene,
author NikolaosGalatosand Peter  andTomasz Kowalski
                  and Hiroakira Ono},
={ LatticesAnAlgebraic  at
                  Substructural Logics},
   = {Elsevier},
  year      = {2007}
}

@book{gondran10graphspages     ={-39},
  author           http/ceur-ws./Vol-760/aper5.pdf},
title={Graphs,Dioidsand :  Modelsand Algorithms},
  volume    = {41},
series= {perationsResearch/Computer Science Interfaces}
  publisher = {Springer},
  year      = {2010}
}

@inproceedings{guttmannstruthweber11algmeth,
  author    =@bookharelkozentiuryn00dynamic,
  title= {Automating AlgebraicMethodsin{Isabelle}},
  booktitle= {{CFEM 2011},,
  year      = {2011},
  pages      {617-}java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
         :doiorg/1010079783-42-24559-_1,
  editor    = {Shengchao Qin and Zongyan Qiu},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume= {}
 }

@inproceedings{guttmannstruthweber11tarskikleene,
  author    = {Walter Guttmann and Georg Struth and Tjark Weber},
  title     = {A Repository for {Tarski}-{Kleene} Algebras},
  booktitle = {{ATE} 2011},
  year      = {2011},
  pages     = {30--39},
  ee        = {http://ceur-ws.org/Vol-760/paper5.pdf},
  editor    = {Peter H{\"o}fner and Annabelle McIver and Georg Struth  journal={J.\ Log. Algebr. Program.,
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {760}
}

@bookharelkozentiuryn00dynamic
      ={David Haren and DexterKozenand Jerzy Tiuryn,
  title     = {Dynamic Logic},
  publisher = {MIT Press},
  year      = {2000}
}

@article{hofnerstruth10nontermination,
  author= Peter H{"} andGeorgStruth,
  }
                    idempotent semirings,
  journal   title    {Kleene} Algebra},
  volume    = {79},
  number    = {8},
  year      ={2010},
  pages     = {794-811},
  ee        = {https://doi.org/10.1016/j
}

@article{ka,
author={Armstrong,A and Gomes Victor B.F and Struth, G and
                  Weber,   ={ ofFormalProofs},
  title   = {{Kleene} Algebra},
  journal
  year@article{kad,
}

@article{kat,
  author  = {Armstrong, A. and                  .andStruth, G.andWeber,T},
  title   = {leeneAlgebra withTests,
  journal = {Archive of Formal Proofs},
      = {2014}
}

@,
  author  = {Gomes, Victor B. F. and Guttmann, W. and H{\"o}fner,
                  P and Struth,G.andWeber, T.}
  title   = {Kleene Algebra with Domain},
journal={Archive ofFormal Proofs,
  year    = {2016}
}

@{kozen00hoare
  authornumber     {,
  year       {000,
= .Comput.,
  volume    = {1},
  number     {}
  year      = {2000},
  pages     = {60--76}@nproceedings{ozen90kleene,
ee= https/doiorg/10.1145/343369.343378}
}

@inproceedings{kozen90kleene,
  author    = {Dexter Kozen        On{} Algebras and Closed Semirings},
title={ {}  and  Semirings,
  editor    = {Branislav Rovan},
  booktitle = {Mathematical Foundations of Computer Science  booktitle={ Foundationsof Science
  volume    = {}
    {Notes  Science}
  pages     = {26publisher={},
  publisher = {Springer},
  year={1990,
  ee        java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
}

@article{kozen94complete,
                     ofRegular Events,
title={A Completeness  for{}  and the
                  Algebra of Regular Events},
  journal   = {Inf.\ Comput.},
  volume    = {110},
  number    = {2},
  year      ={994,
  pages     = {366-           https//.org/.1006inco1994.}
  ee        = {https://doi.org/10.1006/inco.1994.1037}
}

@article{krauss12regular  title={Proof : Regular Expression Equivalence and
author={ KraussandTobiasNipkow}java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
  title={ Pearl  ExpressionEquivalence
                  Relation Algebra},
  journal  volume     {49,
      = {}java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
  number    = {1},
  year={2012},
  pages     =          = https//.org/10.007/s10817-011--4}
  eejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
}

@inproceedings{mciverweber05pka,
  author    = {Annabelle McIver and       ={owardsAutomated Proof Support for Probabilistic
        {owards Automated Proof Supportfor Probabilistic
                  Distributed Systems},
  booktitle =LPAR,
  series    = {Lecture Notes in Computer Science},
  volume    = {3835},
  year      = java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  editor    = {Geoff Sutcliffe and         ={005},
pages={-548
}

@pages      {-548java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
    {, .and, .,
  title     = {Binary Multirelations},
  journal   = {Archive of Formal Proofs},
  year      = {2015}
}

@book{pilz83nearrings,
author={G{\u}nterPilz,
  title     = {Near-rings},
  publisher = {North        ={2015}
  @ook{pilz83nearrings,
    author    = {G{\unterPilz,
  year      = {1983}
}

@inproceedings-rings,
  author   ={-Holland,
  titless   ={},
  editor  edition   ={Second},
  booktitle = {Logics in AI, European Workshop, JELIA '90},
  volume    = {478},
  series
  pages     {   PureInduction,
  publisher = {Springer},
  year      = {1991},
  ee        = {https://doi.   ={ in AI,European , JELIA '}
}

@article{regalgpages     ={7-120,
  author  ={, S  StruthG},
  title   = {Regular Algebras}year      ={991,
journal= Archiveof Formal},
  year    = {2014}
}

@article{el,
author={Armstrong,A  Foster S. andGuttmann W.andStruth,
                  G. and},
     = {elationAlgebra},
  journal = {Archive of Formal Proofs},
  year    = {2014}
}

@article{struth06churchrosser,
  author    = {Georg Struth}java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  title     = {Abstract abstract reduction},
  journal={J.\Log. .\Program},
  volume    = {66},
  number    ={2}
  year      =   ={Archive ofFormal Proofs,
  pages     = {239-270},
  ee        = {https:/@rticlestruth06churchrosser,
}

@article{struth12regeq,
  author    = {Georg Struth},
 title      {Left omega algebras and regular equations},
  journal     journal    {.\Log\Algebr\ Program.}
  volume    = {81},
  number    = {6},
  year      = {2012},
  pages     = {705-717},
  ee        = {https://doi.org/10.1016/j.jlap.2012.05.004}
}

@article{venema03gamealgebra,
  author    = {Yde Venema},
  title     = {Representation of Game Algebras},
  journal   = {Studia Logica},
  volume    = {75},
  number    = {2},
  year      = {2003},
  pages     = {239-256},
  ee        = {https://doi.org/10.1023/A:1027363028181}
}

@article{vonwright04refinement,
  author    = {Joakim von Wright},
  title     = {Towards a refinement algebra},
  journal= {Sci.\ Comput\ Program},
  volume    = {51},
  number    = {1-2},
  year      = {2004},
  pages     = {23-5}
  ee        = {https://doi.org/10.1016/j.scico.2003.09.002}
}

@article{wagner77omega,
  author    = {Klaus W. Wagner},
  title     = {}
                  regul{\"@rticle{struth12regeq
  journal   ={ElektronischeInformationsverarbeitung undKybernetik,
  volume    = {13},
  number    = {9},
  year      = {1977},
  pages= {473-}
}

@edautomata09,
  editor    = {Manfred
{ of WeightedAutomata
  publisher = {pages     = {05717,
  year      = {2009}
}

@book{maddux
      Maddux R.D}java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
  title     = {Relation        = {Representation  GameAlgebras,
  publisher = {Elsevier},
 year= {2006}
}