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

Publisher: Springer Science and Media

Volume 44, Number 7, 2007

Recursive Petri nets
pp. 463-508(46)
Authors: Haddad, S.; Poitrenaud, D.

Favourites:
ADD

Solving #SAT using vertex covers
pp. 509-523(15)
Authors: Nishimura, N.; Ragde, P.; Szeider, S.

Favourites:
ADD

Synchronous cooperation for explicit multi-threading
pp. 525-569(45)
Authors: Bergstra, J. A.; Middelburg, C. A.

Favourites:
ADD
Favourites:
ADD
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