TU Darmstadt / ULB / TUbiblio

Modal characterisation theorems over special classes of frames

Dawar, A. and Otto, Martin (2005):
Modal characterisation theorems over special classes of frames.
In: LICS 05 : proceedings of 20th IEEE symposium on logic in computer science. - 2005, S. 21-30, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2005
Creators: Dawar, A. and Otto, Martin
Title: Modal characterisation theorems over special classes of frames
Language: English
Series Name: LICS 05 : proceedings of 20th IEEE symposium on logic in computer science. - 2005, S. 21-30
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:22
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item