Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 44, Number 2, 2007

Decision problems for pushdown threads
pp. 75-90(16)
Authors: Bergstra, J. A.; Bethke, I.; Ponse, A.

Favourites:
ADD

Infinitary rewriting: meta-theory and convergence
pp. 91-121(31)
Author: Kahrs, S.

Favourites:
ADD

A criterion for atomicity revisited
pp. 123-151(29)
Author: Hesselink, W. H.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more