ISSN 0001-5903 (Print)
Publisher: Springer Science and Media
Recursive Petri nets pp. 463-508(46) Authors: Haddad, S.; Poitrenaud, D.
Solving #SAT using vertex covers pp. 509-523(15) Authors: Nishimura, N.; Ragde, P.; Szeider, S.
Synchronous cooperation for explicit multi-threading pp. 525-569(45) Authors: Bergstra, J. A.; Middelburg, C. A.
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information pp. 571-590(20) Authors: Jiang, Y.; He, Y.
The complexity of satisfying constraints on databases of transactions pp. 591-624(34) Author: Calders, T.
Acknowledgement to Referees pp. 625-625(1)
this page is secure
Receive new issue alert this page is secure