Found: 8
Select item for more details and to access through your institution.
Periodic Linear Programming with applications to real-time scheduling.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 383, doi. 10.1017/s0960129504004657
- By:
- Publication type:
- Article
Closed reduction: explicit substitutions without $\alpha$-conversion.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 343
- By:
- Publication type:
- Article
Classical linear logic of implications.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 323, doi. 10.1017/s0960129504004621
- By:
- Publication type:
- Article
Extensions of valuations.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 271, doi. 10.1017/s096012950400461x
- By:
- Publication type:
- Article
The largest Cartesian closed category of domains, considered constructively.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 299, doi. 10.1017/s0960129504004591
- By:
- Publication type:
- Article
A comonadic account of behavioural covarieties of coalgebras.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 243, doi. 10.1017/s096012950400458x
- By:
- Publication type:
- Article
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 201, doi. 10.1017/s0960129504004578
- By:
- Publication type:
- Article
Garside monoids vs divisibility monoids.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 231, doi. 10.1017/s0960129504004414
- By:
- Publication type:
- Article