共 34 条
[1]
Alton D.A., 1980, LONDON MATH SOC LECT, P248, DOI DOI 10.1007/CBO9780511629181.011
[2]
Aubert C., 2022, LIPICS, V228
[4]
A Path Order for Rewrite Systems that Compute Exponential Time Functions
[J].
22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11),
2011, 10
:123-138
[6]
Types for Complexity of Parallel Computation in Pi-calculus
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2022, 44 (03)
[8]
Bellantoni S., 1992, Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing, P283, DOI 10.1145/129712.129740
[9]
Ben-Amram AM, 1998, LECT NOTES COMPUT SC, V1443, P271, DOI 10.1007/BFb0055060