Theoretical Computer Science

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

Restricted

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

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 Sun May 19 14:35:48 2024 CEST.
Provide Feedback