BibTeX record conf/RelMiCS/Gutierrez98

download as .bib file

@inproceedings{DBLP:conf/RelMiCS/Gutierrez98,
  author       = {Claudio Gutierrez},
  editor       = {Ewa Orlowska and
                  Andrzej Szalas},
  title        = {Decidability of the equational theory of allegories},
  booktitle    = {Participants Copies for Relational Methods in Logic, Algebra and Computer
                  Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
                  14-20, 1998},
  pages        = {91--96},
  year         = {1998},
  timestamp    = {Thu, 10 Nov 2022 07:36:26 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Gutierrez98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics