| |
| 2001 | ||
|---|---|---|
| 4 | EE | N. Boland, Timothy Surendonk: A Column Generation Approach to Delivery Planning over Time with Inhomogeneous Service Providers and Service Interval Constraints. Annals OR 108(1-4): 143-156 (2001) |
| 3 | Timothy Surendonk: Canonicity for Intensional Logics with Even Axioms. J. Symb. Log. 66(3): 1141-1156 (2001) | |
| 1996 | ||
| 2 | John K. Slaney, Timothy Surendonk: Combining Finite Model Generation with Theorem Proving: Problems and Prospects. Frontiers of Combining Systems (FroCos) 1996: 141-155 | |
| 1 | EE | Timothy Surendonk: A Non-Standard Injection Between Canonical Frames. Logic Journal of the IGPL 4(2): 273-282 (1996) |
| 1 | N. Boland | [4] |
| 2 | John K. Slaney | [2] |