535 search results - page 10 / 107 » Termination of Abstract Reduction Systems |
RTA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— We investigate an optimal consumption and investment problem where we receive a certain fixed income stream that is terminated at a random time. It turns out that the ...
IEICET
2006
13 years 9 months ago
2006
Abstract-- This paper studies a multiband mobile communication system to support both high data rate services and wide service coverage, using high and low frequency resources with...
BIRTHDAY
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...