15779 search results - page 2500 / 3156 » Change-oriented software engineering |
133
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
138
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
134
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We show that in perfect-information stochastic parity games with a finite state space both players have optimal pure positional strategies. Contrary to the recent proofs of this f...
135
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
132
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...