BibTeX record journals/corr/abs-1303-7329

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

@inproceedings{DBLP:journals/corr/abs-1303-7329,
  author       = {Antonio Bucciarelli and
                  Alberto Carraro and
                  Antonino Salibra},
  editor       = {Delia Kesner and
                  Petrucio Viana},
  title        = {Minimal lambda-theories by ultraproducts},
  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        = {61--76},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.113.8},
  doi          = {10.4204/EPTCS.113.8},
  timestamp    = {Sun, 04 Aug 2024 19:45:11 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-7329.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}