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

Publisher: Springer Science and Media

Volume 32, Number 2, 1995

A transformation method for dynamic-sized tabulation
pp. 93-93(1)
Authors: Chin, W.-N.; Hagiya, M.

Favourites:
ADD

Inductive attribute grammars. A basis for incremental program execution
pp. 117-117(1)
Authors: Walz, J. A.; Johnson, G. F.

Favourites:
ADD
Favourites:
ADD

Efficient algorithms for checking the atomicity of a run of read and write operations
pp. 155-155(1)
Authors: Kirousis, L. M.; Veneris, A. G.

Favourites:
ADD

Generating Boolean �-expressions
pp. 171-171(1)
Author: Eiter, T.

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