18155 search results - page 283 / 3631 » Point |
165
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
177
click to vote
FSTTCS
2004
Springer
16 years 4 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...