Theor. Comput. Sci. - researchr journals

researchr

You are not signed in
Sign in
Sign up

Journals associated with the name Theor. Comput. Sci.:

Theoretical Computer Science

On-demand strategy annotations revisited: An improved on-demand evaluation strategyMar\'{\i}a Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas. Theor. Comput. Sci., 411(2), 2010.
Termination of narrowing revisitedMar\'{\i}a Alpuente, Santiago Escobar, Jos{\'e} Iborra. Theor. Comput. Sci., 410(46), 2009.

runs on WebDSL