BibTeX record conf/aiml/HyttinenT04

download as .bib file

@inproceedings{DBLP:conf/aiml/HyttinenT04,
  author       = {Tapani Hyttinen and
                  Tero Tulenheimo},
  editor       = {Renate A. Schmidt and
                  Ian Pratt{-}Hartmann and
                  Mark Reynolds and
                  Heinrich Wansing},
  title        = {Decidability of {IF} Modal Logic of Perfect Recall},
  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        = {111--131},
  publisher    = {King's College Publications},
  year         = {2004},
  url          = {http://www.aiml.net/volumes/volume5/Hyttinen.ps},
  timestamp    = {Thu, 15 Feb 2024 11:49:43 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/HyttinenT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}