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

Publisher: Springer Science and Media

Volume 36, Number 4, 1999

Favourites:
ADD

Reasoning with examples: propositional formulae and database dependencies
pp. 267-286(20)
Authors: Khardon, R.; Mannila, H.; Roth, D.

Favourites:
ADD

On-line scheduling on a single machine: minimizing the total completion time
pp. 287-294(8)
Authors: Fiat, A.; Woeginger, G. J.

Favourites:
ADD

Reasoning algebraically about loops
pp. 295-334(40)
Authors: Back, R. J. R.; Von Wright, J.

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