nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A characterization theorem for injective model classes axiomatized by general rules
|
Zhu, Zhaohui |
|
2006 |
360 |
1-3 |
p. 147-171 25 p. |
artikel |
2 |
A modal proof theory for final polynomial coalgebras
|
Friggens, David |
|
2006 |
360 |
1-3 |
p. 1-22 22 p. |
artikel |
3 |
Approximating and computing behavioural distances in probabilistic transition systems
|
van Breugel, Franck |
|
2006 |
360 |
1-3 |
p. 373-385 13 p. |
artikel |
4 |
Author index
|
|
|
2006 |
360 |
1-3 |
p. 461- 1 p. |
artikel |
5 |
Bisimulation on speed: A unified approach
|
Lüttgen, Gerald |
|
2006 |
360 |
1-3 |
p. 209-227 19 p. |
artikel |
6 |
Boolean operations and inclusion test for attribute–element constraints
|
Hosoya, Haruo |
|
2006 |
360 |
1-3 |
p. 327-351 25 p. |
artikel |
7 |
Boolean restriction categories and taut monads
|
Manes, Ernie |
|
2006 |
360 |
1-3 |
p. 77-95 19 p. |
artikel |
8 |
Decidability of performance equivalence for basic parallel processes
|
Lasota, Sławomir |
|
2006 |
360 |
1-3 |
p. 172-192 21 p. |
artikel |
9 |
Editorial board v-ix
|
|
|
2006 |
360 |
1-3 |
p. v-ix nvt p. |
artikel |
10 |
Eigenvariables, bracketing and the decidability of positive minimal predicate logic
|
Dowek, Gilles |
|
2006 |
360 |
1-3 |
p. 193-208 16 p. |
artikel |
11 |
Erratum to “Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets”
|
Hartmann, Sven |
|
2006 |
360 |
1-3 |
p. 459- 1 p. |
artikel |
12 |
Interfaces as functors, programs as coalgebras—A final coalgebra theorem in intensional type theory
|
Michelbrink, Markus |
|
2006 |
360 |
1-3 |
p. 415-439 25 p. |
artikel |
13 |
Investigations on the Dual Calculus
|
Tzevelekos, Nikos |
|
2006 |
360 |
1-3 |
p. 289-326 38 p. |
artikel |
14 |
LTL over integer periodicity constraints
|
Demri, Stéphane |
|
2006 |
360 |
1-3 |
p. 96-123 28 p. |
artikel |
15 |
Master index
|
|
|
2006 |
360 |
1-3 |
p. 463-472 10 p. |
artikel |
16 |
Model checking for process rewrite systems and a class of action-based regular properties
|
Bozzelli, Laura |
|
2006 |
360 |
1-3 |
p. 352-372 21 p. |
artikel |
17 |
Multimodal logic programming
|
Nguyen, Linh Anh |
|
2006 |
360 |
1-3 |
p. 247-288 42 p. |
artikel |
18 |
Normal forms for binary relations
|
Dougherty, Daniel J. |
|
2006 |
360 |
1-3 |
p. 228-246 19 p. |
artikel |
19 |
On structuring proof search for first order linear logic
|
Bruscoli, Paola |
|
2006 |
360 |
1-3 |
p. 42-76 35 p. |
artikel |
20 |
Processes as formal power series: A coinductive approach to denotational semantics
|
Boreale, Michele |
|
2006 |
360 |
1-3 |
p. 440-458 19 p. |
artikel |
21 |
Semantic foundations for generalized rewrite theories
|
Bruni, Roberto |
|
2006 |
360 |
1-3 |
p. 386-414 29 p. |
artikel |
22 |
Theoretical foundations of dynamic program slicing
|
Binkley, Dave |
|
2006 |
360 |
1-3 |
p. 23-41 19 p. |
artikel |
23 |
Two polygraphic presentations of Petri nets
|
Guiraud, Yves |
|
2006 |
360 |
1-3 |
p. 124-146 23 p. |
artikel |