Klaus Aehlig, Helmut Schwichtenberg
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation
LICS, 2000.
@inproceedings{LICS-2000-AehligS,
author = "Klaus Aehlig and Helmut Schwichtenberg",
booktitle = "{Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2000.855758",
isbn = "0-7695-0725-5",
pages = "84--91",
publisher = "{IEEE Computer Society}",
title = "{A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation}",
year = 2000,
}