Publication
-
Predictor-corrector methods for periodic second-order initial-value problems Article
IMA Journal of Numerical Analysis, 7(4), 407-422.January 1987 -
Semantics for logic programs without occur check Tech Report
January 1987 -
Local search for constrained routing problems Tech Report
January 1987 -
An abstracto reader prepared for IFIP WG 2.1 Tech Report
January 1987 -
January 1987 -
A note on the partitioning shortest path algorithm Article
Operations Research Letters, 6(4), 183-187.January 1987 -
On the consistency of Koomen's fair abstraction rule Article
Theoretical Computer Science, 51(1-2), 129-176.January 1987 -
Equal values of binary forms at integral points Article
Acta Arithmetica, 48(4), 379-396.January 1987