nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A higher-order characterization of probabilistic polynomial time
|
Dal Lago, Ugo |
|
2015 |
241 |
C |
p. 114-141 28 p. |
artikel |
2 |
An abstract approach to stratification in linear logic
|
Boudes, Pierre |
|
2015 |
241 |
C |
p. 32-61 30 p. |
artikel |
3 |
Approximate periodicity
|
Amir, Amihood |
|
2015 |
241 |
C |
p. 215-226 12 p. |
artikel |
4 |
Checking determinism of regular expressions with counting
|
Chen, Haiming |
|
2015 |
241 |
C |
p. 302-320 19 p. |
artikel |
5 |
Computability and realizability for interactive computations
|
Broy, Manfred |
|
2015 |
241 |
C |
p. 277-301 25 p. |
artikel |
6 |
Developments in implicit computational complexity
|
Marion, Jean-Yves |
|
2015 |
241 |
C |
p. 1-2 2 p. |
artikel |
7 |
Editorial Board
|
|
|
2015 |
241 |
C |
p. IFC- 1 p. |
artikel |
8 |
Editorial Board
|
|
|
2015 |
241 |
C |
p. i- 1 p. |
artikel |
9 |
Entropy of regular timed languages
|
Asarin, Eugene |
|
2015 |
241 |
C |
p. 142-176 35 p. |
artikel |
10 |
Formal security proofs with minimal fuss: Implicit computational complexity at work
|
Nowak, David |
|
2015 |
241 |
C |
p. 96-113 18 p. |
artikel |
11 |
Normality and two-way automata
|
Carton, Olivier |
|
2015 |
241 |
C |
p. 264-276 13 p. |
artikel |
12 |
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy
|
Baillot, Patrick |
|
2015 |
241 |
C |
p. 3-31 29 p. |
artikel |
13 |
Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques
|
Motallebi, Hassan |
|
2015 |
241 |
C |
p. 321-348 28 p. |
artikel |
14 |
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata
|
Zheng, Shenggen |
|
2015 |
241 |
C |
p. 197-214 18 p. |
artikel |
15 |
Quantitative classical realizability
|
Brunel, Aloïs |
|
2015 |
241 |
C |
p. 62-95 34 p. |
artikel |
16 |
Session typing and asynchronous subtyping for the higher-order π-calculus
|
Mostrous, Dimitris |
|
2015 |
241 |
C |
p. 227-263 37 p. |
artikel |
17 |
The complexity of multi-mean-payoff and multi-energy games
|
Velner, Yaron |
|
2015 |
241 |
C |
p. 177-196 20 p. |
artikel |