Theoretical Computer Science

Up a level
Export as [feed] RSS
Group by: Date | Full Text Status
Jump to: 2015 | 2005
Number of items: 2.

2015

Eberhard, Sebastian (2015). Applicative theories for logarithmic complexity classes. Theoretical Computer Science, 585, pp. 115-135. Elsevier 10.1016/j.tcs.2015.03.007

2005

Achermann, Franz; Nierstrasz, Oscar (2005). A Calculus for Reasoning about Software Components. Theoretical Computer Science, 331(2-3), pp. 367-396. Elsevier 10.1016/j.tcs.2004.09.022

This list was generated on Tue May 7 05:03:31 2024 CEST.
Provide Feedback