BibTeX record conf/aiml/NalonDF04

download as .bib file

@inproceedings{DBLP:conf/aiml/NalonDF04,
  author       = {Cl{\'{a}}udia Nalon and
                  Clare Dixon and
                  Michael Fisher},
  editor       = {Renate A. Schmidt and
                  Ian Pratt{-}Hartmann and
                  Mark Reynolds and
                  Heinrich Wansing},
  title        = {Resolution for Synchrony and No Learning},
  booktitle    = {Advances in Modal Logic 5, papers from the fifth conference on "Advances
                  in Modal logic," held in Manchester, UK, 9-11 September 2004},
  pages        = {231--248},
  publisher    = {King's College Publications},
  year         = {2004},
  url          = {http://www.aiml.net/volumes/volume5/Nalon.ps},
  timestamp    = {Thu, 15 Feb 2024 11:49:43 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/NalonDF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics