You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
463-508
Original Article
Recursive Petri nets Theory and application to discrete event systems
Serge Haddad and Denis Poitrenaud
509-523
Solving #SAT using vertex covers
Naomi Nishimura, Prabhakar Ragde and Stefan Szeider
525-569
Synchronous cooperation for explicit multi-threading
J. A. Bergstra and C. A. Middelburg
571-590
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information
Yiwei Jiang and Yong He
591-624
The complexity of satisfying constraints on databases of transactions
Toon Calders
625
Acknowledgement to Referees
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info