Sciweavers

31324 search results - page 188 / 6265
» Compare
Sort
View
SPAA
2003
ACM
16 years 14 days ago
Can we elect if we cannot compare?
Lali Barrière, Paola Flocchini, Pierre Frai...
CONCUR
2003
Springer
16 years 14 days ago
Comparative Branching-Time Semantics
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...
Christel Baier, Holger Hermanns, Joost-Pieter Kato...
CSL
2003
Springer
16 years 14 days ago
Comparing the Succinctness of Monadic Query Languages over Finite Trees
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...
Martin Grohe, Nicole Schweikardt