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