BibTeX record journals/corr/abs-1303-7328

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

@inproceedings{DBLP:journals/corr/abs-1303-7328,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Maribel Fern{\'{a}}ndez and
                  Daniele Nantes Sobrinho},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Elementary Deduction Problem for Locally Stable Theories with Normal
                  Forms},
  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        = {45--60},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.7},
  doi          = {10.4204/EPTCS.113.7},
  timestamp    = {Fri, 09 Apr 2021 18:27:22 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7328.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}