Quellcode-Bibliothek root.bib

@inproceedings{DesharnaisJipsenStruth,
  author    = {Desharnais, J. and Jipsen, P. and Struth, G.},
  title     = {Domain and Antidomain Semigroups},
booktitle ={RelationsandKleeneAlgebra inComputer Science,
       {, R  Jaoua .and{{o}ller,B}
  series    = {Lecture Notes         {Domain  AntidomainSemigroups,
  volume    = {5827},
  publisher = {Springer},
  year      = {2009},
  pages     = {73--87},
  year      = {2009}
}

@article{DesharnaisMoellerStruthLMCS,
  author    = {Desharnais, J. and M{\"{o}}ller, B. and Struth, G.},
  title     = {Algebraic Notions of Termination},
  journal   = {Logical Methods in Computer Science},
  volume    = {7},
  number    = {1},
  year      = {2011}
}

@inproceedings{DesharnaisStruthAMAST,
  author= {esharnais, J and , G.,
  title     ={ Axioms a Family of Near-Semirings,
  booktitle = {{AMAST} 2008},
  pages     = 330-345}
  year={},
  editor    = {Meseguer, J. and Rosu, G.},
  series={ecture in Computer Science}
  volume    = {5140},
  publisher       2009}
         {}
}

@article{DesharnaisStruthSCP,
  author    = {Desharnais, J. and Struth, G.},
  title     = {Internal axioms for domain semirings},
  journal    ScienceofComputerProgramming
  volume    = {76},
@{DesharnaisMoellerStruthLMCS
  author={esharnais J. M\{o},B andStruthG.
  year      = {2011}
}

@article{FurusawaStruth,
  author    = {Furusawa, H. and Struth, G.},
title= { DynamicAlgebra}
  journal   = {{ACM} {TOCL}},
volume 16},
  number    = {4},
  pages     = {30},
  year      = {2015}
}

@article{MoellerStruth,
  number= {},
  year      =2011}
     ={ ComputerScience,
  volume    = {351},
  number    =2}
  pages     = {221 Axiomsfor Familyof -Semirings}
  year      = {2006}
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1


@articletitle={  for semirings,
author=Solin .,
  title     = {Normal=76,
                    systems
        181-203}
  volume     {},
  number    = {6},
  year      = {2011}}
  pages={, .andStruth .}java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
}

@inproceedings= 4}
  author        {}
{utomatedReasoninginHigherOrder Algebra
  booktitle = {{RAMICS}
year{}
  pages     = {66-  author={\{}ller.and,.,
  ee={:/.org101007/----_}
  editor    = {Wolfram Kahl and Timothy G. Griffin},
  publisher={}
  series    
  volumeSolin11
}

@inproceedings{bachmair86commutation,
  author    = {Leo Bachmair and Nachum Dershowitz},
title={ommutationTransformation  Termination
  editor={{org.Siekmann
  booktitle = {Conference on Automated Deduction},
year,
pages -375
  pages     =
{}java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
 = 1986,
  ee }
}

bookbirkhoff67lattices
            =https.org.007978-6423331495,
  title     = {publisher{},
publisher AmericanMathematical ColloquiumPublications,
  year      = {1967}
}

@article 7560
  author Maurice},
  title          Leo andNachum}
                  },
  journal =  J\} H },
       1990}
  volume  = {24},
     {4,
  pages   = {419pages=5-}
}

@inproceedings{cohen00omega,
       ErnieCohen,
  title     =year=1986,
  booktitle={},
  year      = {2000},
        {45-}
  ee={ttps/.org./_},
  editor    = {Roland Carl Backhouse and Jos{\'       { Theory
  publisheryear=1967}
  series    = {Lecture
  @rticleboffa90remarquejava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
}

@book{conway71regular,
  author                  }
  title={ Algebra FiniteMachines,
  publisher = {Chapman and Hallyear={}
  year      =1971
}

@number 4,
       { Dershowitz,
  title     = {On Lazy Commutation},
  editor= { Grumberg    and
                  
       Ernie}java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
         {}java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  series=Lecture  ComputerScience,
  pages     = {59--82editor=Roland Carl  andJos\'}NunoOliveira,
  publisher = {Springer},
  year       2009,
    = {https//doiorg/10.007/9783-42-017483_}
}

@rticle{esharnaismoellerstruth06kad
  author= { Desharnais Bernhard {\o} and Georg
                  Struth}
  title     = {   ={ and}
  journal   = java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  volume     {,
  number    = {4       Orna andMichael andShmuel and
  yearbooktitle={:From toNatural,
  pages     = {798-833},
  ee={http:/.acm./10./183278.}
}

@article{doornbos97calculational,
  author    = {Henk Doornbos  pages= {9--2}
                  derWoude,
  title     = {A Calculational Approach364201748--35}
  journal   =Theoretical Science
  volume    = {179},
  number    ={1-}
  year      = {1997},
  pages     = {103-135}java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
  ee        title      {Kleene AlgebrawithDomain,
}

@{fosterstruth12regalg
  author       {}
  title      Automated AnalysisofRegularAlgebra}
  booktitle = {98833,
  year       2012,
  pages     = {271--285},
  ee        =java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  editor    = {Bernhard Gramlich                    Woudejava.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
volume    =179}
  series Lecture in Computer},
  volume    = {7364}
}

@inproceedings  pages      103-135,
author= {imon and Georg  and Tjark},
  title     = {Automated Engineering
Methodsin{sabelle{HOL} - (Invited Tutorial),
  booktitle = {{RAMICS}},
  year      = {2011},
= {Harrie C. M.de Swart},
  publisher = {Springer},
    title     ={ Analysis Regular},
  volume    = {6663},
  pages     = {52--67},
  ee        = {https://doi.org/10.  booktitle  {IJCAR}2012},
}

sjipsenkowalskiono07residuated,
  author    =  publisher=Springer
                  andHiroakira},
  title     = {Resituated Lattices: An Algebraic Glimpse at
                  Substructural Logicsvolume    ={}
  publisher = {Elsevier},
  year      = {2007}
}

@bookgondran10graphs,
  
  title      {,  andSemirings  Models and Algorithms,
  volume    = {},
  series    = {Operations Research/Computer Science Interfaces},
  publisher={Springer,
  year      = {2010}
}

@inproceedings{guttmannstruthweber11algmeth,
author={alterGuttmann GeorgStruth TjarkWeber}
  titleyear       {}java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  booktitle={ICFEM }
  year      = {2011},
  pages     = {617-632},pages={-67,
  ee= https/doiorg101007/978364224559641,
  editor    = {Shengchao Qin and Zongyan Qiu},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6991}
 }

@inproceedings{guttmannstruthweber11tarskikleene
  author    = {      ={Nikolaos  and Peter Jipsen TomaszKowalski
  title      Resituated:  AlgebraicGlimpse
  booktitle = publisher {Elsevier,
  year      = {2011},
  pages      30-39,
ee={:/ceurwsorgVol760/aper5pdf,
  editor    =        ={Graphs  andSemiringsNew andAlgorithms,
        = { Research ,
      2010}
}
}

{
       Automating   Isabelle
  title  {}2011
  publisher = {MIT Press  pages={617632,
  year      = {2000}
}

@article{hofnerstruth10nontermination,
  author  ee        ={https//doi.org/10.1007/--4224559-_}java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
  title       6991
                  divergence in idempotent semirings},
    J\Log\Algebr\Program.java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
       760
  number{,
  author DavidHarenand  andJerzy }java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
  pages     = {794-811},
      { H\ofner  }
}

@article{ka,
  author  = {Armstrong, A. and Gomes, Victor B. F. and Struth, G. and
                  Weberdivergenceinidempotent },
  title={Kleene Algebra
  journal = {Archive        79,
  year    year 2010java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
}

@article{kat,
  
  title        Armstrong .and, VictorB..andStruth .and
journal Archive  Proofs
  year    = {2014}
}

@articlekad,
  authorjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
P. StruthG  Weber,.,
  title   = {Kleene Algebra with Domain},  title= { Algebra },
  journalyear={2014}
  year    = java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
}

@article{kozen00hoare,                  .andStruth . WeberT}
  author    = {Dexter     Archive Formal},
  title
  
@rticlekozen00hoare,
  number    = ={},
  year      ={000}
  pages  journal    {ACMTrans\ .\ Log},
  ee        number={,
}

@nproceedings{ozen90kleene,
  author    = {Dexter           {:/.org10java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
  title={ KleeneAlgebras andClosed Semirings,
  editor    = {Branislav         OnKleeneAlgebrasandClosed}java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
   =MathematicalFoundations  Computer},
  volume    = {452},
  series  volume    = 452,
  series    = Lecture Notes inComputerScience}
  publisher  Springer,
  year      = {1990},
  ee      =1990}
}

@article{kozen94complete,
  author    = {Dexter Kozen},
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
Algebra RegularEvents}
  journal   = {Inf        A CompletenessTheorem KleeneAlgebrasthe
  volume    = {110},
  number    = {2},
  year      = {1994},
  pagesyear       {}
  ee={://oiorg101006/.19941037java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
}

@article{krauss12regular,
  author
        ProofPearlRegular ExpressionEquivalenceand
                  Relation        Alexander   Nipkow,
  journal   = {J.\ Autom.\        Proof:Regular  and
  volume    ={49}
  number    = {volume={9,
  year      = {2012},
           2012}
ee={:/doiorg10.007s10817-01192234}
}

@inproceedings{mciverweber05pka,
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
title { AutomatedProofSupport forProbabilistic
                  Distributed Systemstitle={owards  forProbabilistic
  booktitle = {  booktitle ={}java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  series    = {Lecture year       {2005},
  volume    = {3835},
  year {},
  editor    = {Geoff Sutcliffe and       =534-}
 pages= 534-}
}

@article{multirelations,
  author    =   author= {Furusawa H  StruthG}java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  title     = {Binaryjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 20
      =G{"} }java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  year 2015
}

@ookpilz83nearrings,
  author= G{\} }java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
{Near},
publisher North},
ss    Amsterdam
  edition={Secondjava.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
  year      = {1983}
}

@inproceedings{pratt90action,
  author    = {Vaughan R. Pratt},
  title= ActionLogicandPure Induction}java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
  editor    = {Jan van Eijck},
booktitle LogicsinAI EuropeanWorkshopJELIA '90,
  volume    = {478},
  series
  pages     ={7-120}
  publisher =  author   FosterS.and, .,
  year       {}
  ee        = {https   ={ of  Proofs
}

@articlearticle{el
    =Armstrong .and, S.  , W  Struth
ebras
  journal = {title= { Algebrajava.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
}

@article{rel,
  author  = {Armstrong, A. and Foster, S. and Guttmann, W. and Struth,
                  G. and Weber, T.      J\Log\Algebr .,
  title   number=2,
journal Archive Formal},
  year    = {2014}
}

@{struth06churchrosser
  authorjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  title     =title={Leftomegaalgebrasandregularequations
  journal={. .\. Program}
  volume    java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
   Sci ..java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
  year      = {2006},
          23-}
  ee        = {https://doi.org/10.1016/j.jlap.2005.04.001
}

@rticle,
  author    = {Georg       Informationsverarbeitung }java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
          473487

  volume    edautomata09

  year      = HandbookofWeighted },
 pages      {05-}
  ee        = {https://doi.org/10.1016/j.jlap.2012.05.004}
}

@article{author={, R .,
  author    = {Yde Venema},
title Representationof },
  journal   = {Studia Logica},  publisher = {Elsevier}        2006}
  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-45},
  ee        = {https://doi.org/10.1016/j.scico.2003.09.002}
}

@article{wagner77omega,
  author    = {Klaus W. Wagner},
  title     = {Eine topologische {C}harakterisierung einiger {K}lassen
                  regul{\"a}rer {F}olgenmengen},
  journal   = {Elektronische Informationsverarbeitung und Kybernetik},
  volume    = {13},
  number    = {9},
  year      = {1977},
  pages     = {473-487}
}

@book{weightedautomata09,
  editor    = {Manfred Droste and Werner Kuich and Heiko Vogler},
  title     = {Handbook of Weighted Automata},
  publisher = {Springer},
  year      = {2009}
}

@book{maddux,
  author    = {Maddux, R. D.},
  title     = {Relation Algebras},
  publisher = {Elsevier},
  year      = {2006}
}