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

Last update Thu May 23 19:35:56 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page