Reasoning algebraically about loops.
- Published in:
- Acta Informatica, 1999, v. 36, n. 4, p. 295, doi. 10.1007/s002360050163
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1999 AND VI 36 AND IP 4
Results: 4
1
2
An optimal algorithm for decomposing a window into maximal quadtree blocks.
- Published in:
- Acta Informatica, 1999, v. 36, n. 4, p. 257, doi. 10.1007/s002360050160
- By:
- Publication type:
- Article
3
Reasoning with examples: propositional formulae and database dependencies.
- Published in:
- Acta Informatica, 1999, v. 36, n. 4, p. 267, doi. 10.1007/s002360050161
- By:
- Publication type:
- Article
4
On-line scheduling on a single machine: minimizing the total completion time.
- Published in:
- Acta Informatica, 1999, v. 36, n. 4, p. 287, doi. 10.1007/s002360050162
- By:
- Publication type:
- Article