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
Electronic Edition (link) BibTeX
- Christophe Raffalli:
Getting results from programs extracted from classical proofs.
49-70
Electronic Edition (link) BibTeX
- Serenella Cerrito, Delia Kesner:
Pattern matching as cut elimination.
71-127
Electronic Edition (link) BibTeX
- Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna:
Domain and event structure semantics for Petri nets with read and inhibitor arcs.
129-189
Electronic Edition (link) BibTeX
- Robert M. Hierons, Mark Harman:
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.
191-233
Electronic Edition (link) BibTeX
- Timothy Porter:
Interpreted systems and Kripke models for multiagent systems from a categorical perspective.
235-266
Electronic Edition (link) BibTeX
- Nicolas Peltier:
The first order theory of primal grammars is decidable.
267-320
Electronic Edition (link) BibTeX
- Guo-Qiang Zhang, William C. Rounds:
Reasoning with power defaults.
321-350
Electronic Edition (link) BibTeX
- Christophe Dehlinger, Jean-François Dufourd:
Formalizing generalized maps in Coq.
351-397
Electronic Edition (link) BibTeX
- Christophe Dehlinger, Jean-François Dufourd:
Formalizing the trading theorem in Coq.
399-442
Electronic Edition (link) BibTeX
- Pascal Urso, Emmanuel Kounalis:
Sound generalizations in mathematical induction.
443-471
Electronic Edition (link) BibTeX
- Christian Urban, Andrew M. Pitts, Murdoch Gabbay:
Nominal unification.
473-497
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:57 2009
by Michael Ley (ley@uni-trier.de)
