Works matching IS 02883635 AND DT 2011 AND VI 29 AND IP 1
Results: 5
A Short Cut to Optimal Sequences.
- Published in:
- New Generation Computing, 2011, v. 29, n. 1, p. 31, doi. 10.1007/s00354-010-0098-4
- By:
- Publication type:
- Article
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.
- Published in:
- New Generation Computing, 2011, v. 29, n. 1, p. 87, doi. 10.1007/s00354-010-0100-1
- By:
- Publication type:
- Article
Weak Updates and Separation Logic.
- Published in:
- New Generation Computing, 2011, v. 29, n. 1, p. 3, doi. 10.1007/s00354-010-0097-5
- By:
- Publication type:
- Article
Classical Natural Deduction for S4 Modal Logic.
- Published in:
- New Generation Computing, 2011, v. 29, n. 1, p. 61, doi. 10.1007/s00354-010-0099-3
- By:
- Publication type:
- Article
Special Issue on Programming Languages and Systems.
- Published in:
- New Generation Computing, 2011, v. 29, n. 1, p. 1, doi. 10.1007/s00354-010-0096-6
- By:
- Publication type:
- Article