BibTeX record journals/corr/abs-1303-7335

• > Home > journals/corr/abs-1303-7335

@inproceedings{DBLP:journals/corr/abs-1303-7335,
  author       = {Ana Cristina Rocha Oliveira and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Formalizing the Confluence of Orthogonal Rewriting Systems},
  booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
                  Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
                  2012},
  series       = {{EPTCS}},
  volume       = {113},
  pages        = {145--152},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.14},
  doi          = {10.4204/EPTCS.113.14},
  timestamp    = {Fri, 09 Apr 2021 18:27:11 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7335.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}