nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
About Constructive vectors
|
Duprat, Jean |
|
2005 |
140 |
C |
p. 93-100 8 p. |
artikel |
2 |
Approximation Simply Characterized
|
Waszkiewicz, Paweł |
|
2005 |
140 |
C |
p. 113-117 5 p. |
artikel |
3 |
A Semantics of Realisability for the Classical Propositional Natural Deduction
|
Nour, Karim |
|
2005 |
140 |
C |
p. 31-39 9 p. |
artikel |
4 |
Asymptotic Density for Equivalence
|
Matecki, Grzegorz |
|
2005 |
140 |
C |
p. 81-91 11 p. |
artikel |
5 |
Conditional Densities of Regular Languages
|
Kozik, Jakub |
|
2005 |
140 |
C |
p. 67-79 13 p. |
artikel |
6 |
On-line Chain Partitioning as a Model for Real-time Scheduling
|
Broniek, Przemyslaw |
|
2005 |
140 |
C |
p. 15-29 15 p. |
artikel |
7 |
Preface
|
Lescanne, Pierre |
|
2005 |
140 |
C |
p. 1- 1 p. |
artikel |
8 |
Probabilistic Approach to the Lambda Definability for Fourth Order Types
|
Zaionc, Marek |
|
2005 |
140 |
C |
p. 41-54 14 p. |
artikel |
9 |
Validation of Proofs Using PhoX
|
Thévenon, Patrick |
|
2005 |
140 |
C |
p. 55-66 12 p. |
artikel |
10 |
Variants of Online Chain Partition Problem of Posets
|
Bosek, Bartłomiej |
|
2005 |
140 |
C |
p. 3-13 11 p. |
artikel |
11 |
Why the Usual Candidates of Reducibility Do Not Work for the Symmetric λμ-calculus
|
David, René |
|
2005 |
140 |
C |
p. 101-111 11 p. |
artikel |