419 search results - page 3 / 84 » First Order Paths in Ordered Trees |
CSCLP
2006
Springer
14 years 7 days ago
2006
Springer
AISC
2006
Springer
13 years 10 months ago
2006
Springer
CAV
1998
Springer
14 years 23 days ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
PTS
2010
13 years 6 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
FSTTCS
2010
Springer
13 years 6 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...