nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
|
Genest, Blaise |
|
2006 |
228-229 |
6 |
p. 920-956 37 p. |
artikel |
2 |
Alternating two-way AC-tree automata
|
Verma, Kumar Neeraj |
|
2007 |
228-229 |
6 |
p. 817-869 53 p. |
artikel |
3 |
A nice labelling for tree-like event structures of degree 3
|
Santocanale, Luigi |
|
2010 |
228-229 |
6 |
p. 652-665 14 p. |
artikel |
4 |
A theory of system behaviour in the presence of node and link failure
|
Francalanza, Adrian |
|
2008 |
228-229 |
6 |
p. 711-759 49 p. |
artikel |
5 |
Complexity of DNF minimization and isomorphism testing for monotone formulas
|
Goldsmith, Judy |
|
2008 |
228-229 |
6 |
p. 760-775 16 p. |
artikel |
6 |
Curves that must be retraced
|
Gu, Xiaoyang |
|
2011 |
228-229 |
6 |
p. 992-1006 15 p. |
artikel |
7 |
Editorial Board
|
|
|
2007 |
228-229 |
6 |
p. IFC- 1 p. |
artikel |
8 |
Editorial Board
|
|
|
2006 |
228-229 |
6 |
p. CO2- 1 p. |
artikel |
9 |
Editorial Board
|
|
|
2006 |
228-229 |
6 |
p. i- 1 p. |
artikel |
10 |
Editorial Board (continued)
|
|
|
2010 |
228-229 |
6 |
p. i- 1 p. |
artikel |
11 |
Editorial Board (continued)
|
|
|
2008 |
228-229 |
6 |
p. i- 1 p. |
artikel |
12 |
Editorial Board (continued)
|
|
|
2007 |
228-229 |
6 |
p. i- 1 p. |
artikel |
13 |
Editorial Board (continued)
|
|
|
2009 |
228-229 |
6 |
p. i- 1 p. |
artikel |
14 |
Editorial Board (continued)
|
|
|
2011 |
228-229 |
6 |
p. i- 1 p. |
artikel |
15 |
Infinitary Combinatory Reduction Systems
|
Ketema, Jeroen |
|
2011 |
228-229 |
6 |
p. 893-926 34 p. |
artikel |
16 |
Inside Front Cover: Editorial Board
|
|
|
2010 |
228-229 |
6 |
p. IFC- 1 p. |
artikel |
17 |
Inside Front Cover: Editorial Board
|
|
|
2008 |
228-229 |
6 |
p. IFC- 1 p. |
artikel |
18 |
Inside Front Cover: Editorial Board
|
|
|
2009 |
228-229 |
6 |
p. IFC- 1 p. |
artikel |
19 |
Inside Front Cover: Editorial Board
|
|
|
2011 |
228-229 |
6 |
p. IFC- 1 p. |
artikel |
20 |
Interpreting a finitary pi-calculus in differential interaction nets
|
Ehrhard, Thomas |
|
2010 |
228-229 |
6 |
p. 606-633 28 p. |
artikel |
21 |
Is observational congruence on μ -expressions axiomatisable in equational Horn logic?
|
Mendler, Michael |
|
2010 |
228-229 |
6 |
p. 634-651 18 p. |
artikel |
22 |
Leaf languages and string compression
|
Lohrey, Markus |
|
2011 |
228-229 |
6 |
p. 951-965 15 p. |
artikel |
23 |
Learning in Friedberg numberings
|
Jain, Sanjay |
|
2008 |
228-229 |
6 |
p. 776-790 15 p. |
artikel |
24 |
Making random choices invisible to the scheduler
|
Chatzikokolakis, Konstantinos |
|
2010 |
228-229 |
6 |
p. 694-715 22 p. |
artikel |
25 |
Mind change efficient learning
|
Luo, Wei |
|
2006 |
228-229 |
6 |
p. 989-1011 23 p. |
artikel |
26 |
Nominal rewriting
|
Fernández, Maribel |
|
2007 |
228-229 |
6 |
p. 917-965 49 p. |
artikel |
27 |
On decidability of monadic logic of order over the naturals extended by monadic predicates
|
Rabinovich, Alexander |
|
2007 |
228-229 |
6 |
p. 870-889 20 p. |
artikel |
28 |
One-unambiguity of regular expressions with numeric occurrence indicators
|
Kilpeläinen, Pekka |
|
2007 |
228-229 |
6 |
p. 890-916 27 p. |
artikel |
29 |
On modularity in infinitary term rewriting
|
Simonsen, Jakob Grue |
|
2006 |
228-229 |
6 |
p. 957-988 32 p. |
artikel |
30 |
Partitioned PLTL model-checking for refined transition systems
|
Julliand, J. |
|
2009 |
228-229 |
6 |
p. 681-698 18 p. |
artikel |
31 |
Probabilistic coherence spaces as a model of higher-order probabilistic computation
|
Danos, Vincent |
|
2011 |
228-229 |
6 |
p. 966-991 26 p. |
artikel |
32 |
Quantifying information leakage in process calculi
|
Boreale, Michele |
|
2009 |
228-229 |
6 |
p. 699-725 27 p. |
artikel |
33 |
Reachability is decidable for weakly extended process rewrite systems
|
Křetínský, Mojmír |
|
2009 |
228-229 |
6 |
p. 671-680 10 p. |
artikel |
34 |
Recasting MLF
|
Botlan, Didier Le |
|
2009 |
228-229 |
6 |
p. 726-785 60 p. |
artikel |
35 |
Recognizability, hypergraph operations, and logical types
|
Blumensath, A. |
|
2006 |
228-229 |
6 |
p. 853-919 67 p. |
artikel |
36 |
Solving games via three-valued abstraction refinement
|
de Alfaro, Luca |
|
2010 |
228-229 |
6 |
p. 666-676 11 p. |
artikel |
37 |
Strategy logic
|
Chatterjee, Krishnendu |
|
2010 |
228-229 |
6 |
p. 677-693 17 p. |
artikel |
38 |
The impossibility of boosting distributed service resilience
|
Attie, Paul |
|
2011 |
228-229 |
6 |
p. 927-950 24 p. |
artikel |
39 |
18th International Conference on Concurrency Theory
|
Caires, Luís |
|
2010 |
228-229 |
6 |
p. 605- 1 p. |
artikel |
40 |
Typing termination in a higher-order concurrent imperative language
|
Boudol, Gérard |
|
2010 |
228-229 |
6 |
p. 716-736 21 p. |
artikel |
41 |
Unbounded-error quantum computation with small space bounds
|
Yakaryılmaz, Abuzer |
|
2011 |
228-229 |
6 |
p. 873-892 20 p. |
artikel |