default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 323
Volume 323, Number 1-3, September 2004
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-14 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
