|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
23 results found
| no | title | author | magazine | year | volume | issue | page(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. |
article |
|
| 2 | A modal proof theory for final polynomial coalgebras |
Friggens, David |
2006 |
360 | 1-3 |
p. 1-22 22 p. |
article |
|
| 3 | Approximating and computing behavioural distances in probabilistic transition systems |
van Breugel, Franck |
2006 |
360 | 1-3 |
p. 373-385 13 p. |
article |
|
| 4 | Author index |
2006 |
360 | 1-3 |
p. 461- 1 p. |
article |
||
| 5 | Bisimulation on speed: A unified approach |
Lüttgen, Gerald |
2006 |
360 | 1-3 |
p. 209-227 19 p. |
article |
|
| 6 | Boolean operations and inclusion test for attribute–element constraints |
Hosoya, Haruo |
2006 |
360 | 1-3 |
p. 327-351 25 p. |
article |
|
| 7 | Boolean restriction categories and taut monads |
Manes, Ernie |
2006 |
360 | 1-3 |
p. 77-95 19 p. |
article |
|
| 8 | Decidability of performance equivalence for basic parallel processes |
Lasota, Sławomir |
2006 |
360 | 1-3 |
p. 172-192 21 p. |
article |
|
| 9 | Editorial board v-ix |
2006 |
360 | 1-3 |
p. v-ix nvt p. |
article |
||
| 10 | Eigenvariables, bracketing and the decidability of positive minimal predicate logic |
Dowek, Gilles |
2006 |
360 | 1-3 |
p. 193-208 16 p. |
article |
|
| 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. |
article |
|
| 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. |
article |
|
| 13 | Investigations on the Dual Calculus |
Tzevelekos, Nikos |
2006 |
360 | 1-3 |
p. 289-326 38 p. |
article |
|
| 14 | LTL over integer periodicity constraints |
Demri, Stéphane |
2006 |
360 | 1-3 |
p. 96-123 28 p. |
article |
|
| 15 | Master index |
2006 |
360 | 1-3 |
p. 463-472 10 p. |
article |
||
| 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. |
article |
|
| 17 | Multimodal logic programming |
Nguyen, Linh Anh |
2006 |
360 | 1-3 |
p. 247-288 42 p. |
article |
|
| 18 | Normal forms for binary relations |
Dougherty, Daniel J. |
2006 |
360 | 1-3 |
p. 228-246 19 p. |
article |
|
| 19 | On structuring proof search for first order linear logic |
Bruscoli, Paola |
2006 |
360 | 1-3 |
p. 42-76 35 p. |
article |
|
| 20 | Processes as formal power series: A coinductive approach to denotational semantics |
Boreale, Michele |
2006 |
360 | 1-3 |
p. 440-458 19 p. |
article |
|
| 21 | Semantic foundations for generalized rewrite theories |
Bruni, Roberto |
2006 |
360 | 1-3 |
p. 386-414 29 p. |
article |
|
| 22 | Theoretical foundations of dynamic program slicing |
Binkley, Dave |
2006 |
360 | 1-3 |
p. 23-41 19 p. |
article |
|
| 23 | Two polygraphic presentations of Petri nets |
Guiraud, Yves |
2006 |
360 | 1-3 |
p. 124-146 23 p. |
article |
23 results found