Konferenzveröffentlichung

Dawar, A. ; Otto, Martin (2005)
Modal characterisation theorems over special classes of frames.
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05). Chicago, IL, USA (26.06.2005-29.06.2005)
doi: 10.1109/LICS.2005.27
Konferenzveröffentlichung, Bibliographie