BibTeX record conf/ismvl/Iturrioz78

download as .bib file

@inproceedings{DBLP:conf/ismvl/Iturrioz78,
  author       = {Luisa Iturrioz},
  title        = {Two typical representation theorems for symmetrical Heyting algebras
                  of order n},
  booktitle    = {Proceedings of the eighth international symposium on Multiple-valued
                  logic, {MVL} 1978, Rosemont, Illinois, USA, 1978},
  pages        = {76--81},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1978},
  url          = {http://dl.acm.org/citation.cfm?id=804188},
  timestamp    = {Mon, 09 Aug 2021 11:28:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Iturrioz78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics