220 search results - page 1 / 44 » ideal 2005 |
IDEAL
2005
Springer
13 years 11 months ago
2005
Springer
ICALP
2005
Springer
13 years 11 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...
FOSSACS
2005
Springer
13 years 11 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...
ETFA
2005
IEEE
13 years 11 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
13 years 5 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 ...