119
click to vote
CIE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...
CIE
2007
Springer
15 years 9 months ago
2007
Springer
129
Voted
CIE
2007
Springer
15 years 9 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
109
Voted
MSR
2010
ACM
15 years 9 months ago
2010
ACM
181
click to vote
CIE
2007
Springer
15 years 9 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...