Browse by Journal and Volume
 | Up a level |
Jump to: 13 October 2016
Number of items: 1.
13 October 2016
Brockschmidt, M. and Emmes, F. and Falke, S. and Fuhs, Carsten and Giesl, J. (2016) Analyzing runtime and size complexity of integer programs. ACM Transactions on Programming Languages and Systems 38 (4), pp. 1-50. ISSN 0164-0925.