220 search results - page 1 / 44 » ideal 2005 |
IDEAL
2005
Springer
15 years 3 months ago
2005
Springer
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
78
Voted
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
58
Voted
ETFA
2005
IEEE
15 years 3 months ago
2005
IEEE
In many digital control applications, data acquisition and process control are time-critical actions, assumed to be instantaneous and strictly periodic. However, aspects related t...
ACS
2005
14 years 10 months ago
2005
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...