33 search results - page 6 / 7 » lics 2005 |
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a ļ¬nite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most signiļ¬ca...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantiļ¬cation and with circular deļ¬nitions has a polynomial time subsumption pro...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of ļ¬rstorder (FO) and monadic ...