Volume 353,
Numbers 1-3,
14 March 2006
- Lutz Schröder:
The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus.
1-25
Electronic Edition (link) BibTeX
- Zhaohui Zhu:
Similarity between preferential models.
26-52
Electronic Edition (link) BibTeX
- Sven Hartmann, Sebastian Link:
On a problem of Fagin concerning multivalued dependencies in relational databases.
53-62
Electronic Edition (link) BibTeX
- Wenhui Zhang:
Structure of proofs and the complexity of cut elimination.
63-70
Electronic Edition (link) BibTeX
- Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis:
Automatic workflow verification and generation.
71-92
Electronic Edition (link) BibTeX
- Valentin Goranko, Govert van Drimmelen:
Complete axiomatization and decidability of Alternating-time temporal logic.
93-117
Electronic Edition (link) BibTeX
- John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague:
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols.
118-164
Electronic Edition (link) BibTeX
- Norihiro Kamide:
Linear and affine logics with temporal, spatial and epistemic operators.
165-207
Electronic Edition (link) BibTeX
- Hanifa Boucheneb, Rachid Hadjidj:
CTL* model checking for time Petri nets.
208-227
Electronic Edition (link) BibTeX
- Natalia López, Manuel Núñez, Ismael Rodríguez:
Specification, testing and implementation relations for symbolic-probabilistic systems.
228-248
Electronic Edition (link) BibTeX
- François Laroussinie, Nicolas Markey, Ph. Schnoebelen:
Efficient timed model checking for discrete-time systems.
249-271
Electronic Edition (link) BibTeX
- Mark Kambites:
Automatic semigroups and categories.
272-290
Electronic Edition (link) BibTeX
- Florentin Ipate:
Testing against a non-controllable stream X-machine using state counting.
291-316
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:06 2009
by Michael Ley (ley@uni-trier.de)