Volume 323,
Number 1-3,
September 2004
Article
- Alan Jeffrey, Julian Rathke:
A theory of bisimulation for a fragment of concurrent ML with local names.
1-48
- Christophe Raffalli:
Getting results from programs extracted from classical proofs.
49-70
- Serenella Cerrito, Delia Kesner:
Pattern matching as cut elimination.
71-127
- Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna:
Domain and event structure semantics for Petri nets with read and inhibitor arcs.
129-189
- Robert M. Hierons, Mark Harman:
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.
191-233
- Timothy Porter:
Interpreted systems and Kripke models for multiagent systems from a categorical perspective.
235-266
- Nicolas Peltier:
The first order theory of primal grammars is decidable.
267-320
- Guo-Qiang Zhang, William C. Rounds:
Reasoning with power defaults.
321-350
- Christophe Dehlinger, Jean-François Dufourd:
Formalizing generalized maps in Coq.
351-397
- Christophe Dehlinger, Jean-François Dufourd:
Formalizing the trading theorem in Coq.
399-442
- Pascal Urso, Emmanuel Kounalis:
Sound generalizations in mathematical induction.
443-471
- Christian Urban, Andrew M. Pitts, Murdoch Gabbay:
Nominal unification.
473-497
Copyright © Mon Nov 2 21:56:21 2009
by Michael Ley (ley@uni-trier.de)
