CORR
2004
Springer
13 years 4 months ago
2004
Springer
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Abstract
CORR
2004
Springer
13 years 4 months ago
2004
Springer
In this paper we introduce a fuzzy version of symport/antiport membrane systems. Our fuzzy membrane systems handle possibly inexact copies of reactives and their rules are endowed...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
CORR
2004
Springer
13 years 4 months ago
2004
Springer
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will ...