nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Monoidal Category of Bifinite Chu Spaces
|
Huang, Fang-Ping |
|
2008 |
212 |
C |
p. 285-297 13 p. |
artikel |
2 |
A Novel Derivation Framework For Definite Logic Program
|
Li, MengJun |
|
2008 |
212 |
C |
p. 71-85 15 p. |
artikel |
3 |
Bisimilarity of Distributionally Equivalent Markov Transition Systems
|
Doberkat, Ernst-Erich |
|
2008 |
212 |
C |
p. 41-53 13 p. |
artikel |
4 |
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
|
Pichardie, David |
|
2008 |
212 |
C |
p. 225-239 15 p. |
artikel |
5 |
Checking Emptiness of Non-Deterministic Regular Types with Set Operators
|
Lu, Lunjin |
|
2008 |
212 |
C |
p. 191-206 16 p. |
artikel |
6 |
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
|
de Frutos Escrig, David |
|
2008 |
212 |
C |
p. 149-162 14 p. |
artikel |
7 |
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration
|
Chen, Taolue |
|
2008 |
212 |
C |
p. 55-70 16 p. |
artikel |
8 |
Cyclic Extensions of Order Varieties
|
Ille, Pierre |
|
2008 |
212 |
C |
p. 119-132 14 p. |
artikel |
9 |
Decidability of Weak Bisimilarity for a Subset of BPA
|
Chen, Haiyan |
|
2008 |
212 |
C |
p. 241-255 15 p. |
artikel |
10 |
fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol
|
Li, Zhoujun |
|
2008 |
212 |
C |
p. 257-268 12 p. |
artikel |
11 |
Locality of Corner Transformation for Multidimensional Spatial Access Methods
|
Dai, H.K. |
|
2008 |
212 |
C |
p. 133-148 16 p. |
artikel |
12 |
Modeling and Verifying Time Sensitive Security Protocols with Constraints
|
Zhou, Ti |
|
2008 |
212 |
C |
p. 103-118 16 p. |
artikel |
13 |
Preface
|
Chen, Yixiang |
|
2008 |
212 |
C |
p. 1- 1 p. |
artikel |
14 |
Proof Search and Counter Model of Positive Minimal Predicate Logic
|
Xue, Tao |
|
2008 |
212 |
C |
p. 87-102 16 p. |
artikel |
15 |
Reasoning About Multi-Lingual Exception Handling Using RIPLS
|
Ridgway, John |
|
2008 |
212 |
C |
p. 177-189 13 p. |
artikel |
16 |
Rewriting Interpolants
|
Lynch, Christopher |
|
2008 |
212 |
C |
p. 163-176 14 p. |
artikel |
17 |
Separation Logic for Multiple Inheritance
|
Luo, Chenguang |
|
2008 |
212 |
C |
p. 27-40 14 p. |
artikel |
18 |
Separation Logic Semantics for Communicating Processes
|
Hoare, Tony |
|
2008 |
212 |
C |
p. 3-25 23 p. |
artikel |
19 |
Services and Contracts: Coalgebraically
|
Sun, Meng |
|
2008 |
212 |
C |
p. 207-223 17 p. |
artikel |
20 |
Tree Process Calculus
|
Chai, Mingren |
|
2008 |
212 |
C |
p. 269-284 16 p. |
artikel |
21 |
Various Constructions of Continuous Information Systems
|
Xu, Luoshan |
|
2008 |
212 |
C |
p. 299-311 13 p. |
artikel |