31324 search results - page 188 / 6265 » Compare |
SPAA
2003
ACM
15 years 10 months ago
2003
ACM
97
Voted
AI
2003
Springer
15 years 10 months ago
2003
Springer
135
Voted
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
135
Voted
CSL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...