BibTeX record conf/aiml/GorankoV00

download as .bib file

@inproceedings{DBLP:conf/aiml/GorankoV00,
  author       = {Valentin Goranko and
                  Dimiter Vakarelov},
  editor       = {Frank Wolter and
                  Heinrich Wansing and
                  Maarten de Rijke and
                  Michael Zakharyaschev},
  title        = {Sahlqvist Formulas Unleashed in Polyadic Modal Languages},
  booktitle    = {Advances in Modal Logic 3, papers from the third conference on "Advances
                  in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
  pages        = {221--240},
  publisher    = {World Scientific},
  year         = {2000},
  url          = {https://doi.org/10.1142/9789812776471\_0012},
  doi          = {10.1142/9789812776471\_0012},
  timestamp    = {Wed, 17 Jan 2024 17:12:17 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GorankoV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics