nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A theory of bisimulation for a fragment of concurrent ML with local names
|
Jeffrey, Alan |
|
2004 |
323 |
1-3 |
p. 1-48 48 p. |
artikel |
2 |
Author index
|
|
|
2004 |
323 |
1-3 |
p. 499- 1 p. |
artikel |
3 |
Domain and event structure semantics for Petri nets with read and inhibitor arcs
|
Baldan, P. |
|
2004 |
323 |
1-3 |
p. 129-189 61 p. |
artikel |
4 |
Editorial board v-ix
|
|
|
2004 |
323 |
1-3 |
p. v-ix nvt p. |
artikel |
5 |
Formalizing generalized maps in Coq
|
Dehlinger, Christophe |
|
2004 |
323 |
1-3 |
p. 351-397 47 p. |
artikel |
6 |
Formalizing the trading theorem in Coq
|
Dehlinger, Christophe |
|
2004 |
323 |
1-3 |
p. 399-442 44 p. |
artikel |
7 |
Getting results from programs extracted from classical proofs
|
Raffalli, C. |
|
2004 |
323 |
1-3 |
p. 49-70 22 p. |
artikel |
8 |
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
|
Porter, Timothy |
|
2004 |
323 |
1-3 |
p. 235-266 32 p. |
artikel |
9 |
Nominal unification
|
Urban, Christian |
|
2004 |
323 |
1-3 |
p. 473-497 25 p. |
artikel |
10 |
Pattern matching as cut elimination
|
Cerrito, Serenella |
|
2004 |
323 |
1-3 |
p. 71-127 57 p. |
artikel |
11 |
Reasoning with power defaults
|
Zhang, Guo-Qiang |
|
2004 |
323 |
1-3 |
p. 321-350 30 p. |
artikel |
12 |
Sound generalizations in mathematical induction
|
Urso, Pascal |
|
2004 |
323 |
1-3 |
p. 443-471 29 p. |
artikel |
13 |
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
|
Hierons, R.M. |
|
2004 |
323 |
1-3 |
p. 191-233 43 p. |
artikel |
14 |
The first order theory of primal grammars is decidable
|
Peltier, Nicolas |
|
2004 |
323 |
1-3 |
p. 267-320 54 p. |
artikel |