@inproceedings{CSL-1998-BonfanteCMT,
author = "Guillaume Bonfante and Adam Cichon and Jean-Yves Marion and Hélène Touzet",
booktitle = "{Proceedings of the 12th International Workshop on Computer Science Logic / Annual Conference of the EACSL}",
doi = "10.1007/10703163_25",
isbn = "3-540-65922-6",
pages = "372--384",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Complexity Classes and Rewrite Systems with Polynomial Interpretation}",
volume = 1584,
year = 1998,
}
Tags: