An Outline of a Dynamic Theory of Frames

Ralf Naumann. An Outline of a Dynamic Theory of Frames. In Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, editors, Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. Volume 7758 of Lecture Notes in Computer Science, pages 115-137, Springer, 2011. [doi]

@inproceedings{Naumann11-1,
  title = {An Outline of a Dynamic Theory of Frames},
  author = {Ralf Naumann},
  year = {2011},
  doi = {10.1007/978-3-642-36976-6_9},
  url = {http://dx.doi.org/10.1007/978-3-642-36976-6_9},
  researchr = {https://researchr.org/publication/Naumann11-1},
  cites = {0},
  citedby = {0},
  pages = {115-137},
  booktitle = {Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers},
  editor = {Guram Bezhanishvili and Sebastian Löbner and Vincenzo Marra and Frank Richter},
  volume = {7758},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36975-9},
}