19 search results - page 2 / 4 » csr 2010 |
CSR
2010
Springer
14 years 10 months ago
2010
Springer
75
Voted
CSR
2010
Springer
15 years 3 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : ϕ(t), which have self-referential meanings. In this paper, “prehistoric phenomena...
78
Voted
CSR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In this framework each player aims at reaching...
81
Voted
ENTCS
2007
14 years 10 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
74
Voted
CSR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...