Volume 50,
Number 1,
February 2002
- Danièle Beauquier:
Markov Decision Processes and Deterministic Büchi Automata.
1-13
- Magdalena Kacprzak:
A Complete Axiomatization of Process Temporal Logic.
15-31
- Hanna Klaudel, Franck Pommereau:
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.
33-55
- Mikhail Moshkov:
On Decision Trees for (1, 2)-Bayesian Networks.
57-76
- Claude Sureson:
Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory.
77-110
Volume 50,
Number 2,
March 2002
Volume 50,
Number 3-4,
April-May 2002
Copyright © Sat Nov 28 22:29:07 2009
by Michael Ley (ley@uni-trier.de)