4 search results - page 1 / 1 » Deciding First-Order Properties for Sparse Graphs |
FOCS
2010
IEEE
13 years 9 months ago
2010
IEEE
FSTTCS
2010
Springer
13 years 9 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
FUIN
2007
13 years 10 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
Getting new security features and protocols to be widely adopted and deployed in the Internet has been a continuing challenge. There are several reasons for this, in particular ec...