Probabilistic computability and choice (English)
- New search for: Brattka, Vasco
- New search for: Gherardi, Guido
- New search for: Hölzl, Rupert
- New search for: Brattka, Vasco
- New search for: Gherardi, Guido
- New search for: Hölzl, Rupert
In:
Information and Computation
;
242
;
249-286
;
2015
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Probabilistic computability and choice
-
Contributors:
-
Published in:Information and Computation ; 242 ; 249-286
-
Publisher:
- New search for: Elsevier Inc.
-
Publication date:2015-02-25
-
Size:38 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 242
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Special issue on SR 2013Mogavero, Fabio / Murano, Aniello / Vardi, Moshe Y. et al. | 2015
- 2
-
Qualitative analysis of concurrent mean-payoff gamesChatterjee, Krishnendu / Ibsen-Jensen, Rasmus et al. | 2013
- 25
-
Looking at mean-payoff and total-payoff through windowsChatterjee, Krishnendu / Doyen, Laurent / Randour, Mickael / Raskin, Jean-François et al. | 2013
- 53
-
Iterated Boolean gamesGutierrez, Julian / Harrenstein, Paul / Wooldridge, Michael et al. | 2013
- 80
-
Uniform strategies, rational relations and jumping automataBozzelli, Laura / Maubert, Bastien / Pinchinat, Sophie et al. | 2013
- 108
-
Synthesizing structured reactive programs via deterministic tree automataBrütsch, Benedikt et al. | 2013
- 128
-
Reasoning about memoryless strategies under partial observability and unconditional fairness constraintsBusard, Simon / Pecheur, Charles / Qu, Hongyang / Raimondi, Franco et al. | 2013
- 157
-
A logic with revocable and refinable strategiesChareton, Christophe / Brunel, Julien / Chemouil, David et al. | 2013
- 183
-
Model checking single agent behaviours by fluid approximationBortolussi, Luca / Hillston, Jane et al. | 2014
- 227
-
Resource-bounded martingales and computable Dowd-type generic setsKumabe, Masahiro / Suzuki, Toshio et al. | 2010
- 249
-
Probabilistic computability and choiceBrattka, Vasco / Gherardi, Guido / Hölzl, Rupert et al. | 2015
- 287
-
Pattern matching with variables: A multivariate complexity analysisFernau, Henning / Schmid, Markus L. et al. | 2014
- 306
-
Taming past LTL and flat counter systemsDemri, Stéphane / Dhar, Amit Kumar / Sangnier, Arnaud et al. | 2015
- 340
-
Existence of constants in regular splicing languagesBonizzoni, Paola / Jonoska, Nataša et al. | 2014
- 354
-
Information retrieval with unambiguous outputJunnila, Ville / Laihonen, Tero et al. | 2015
- 369
-
On the entropy of couplingsKovačević, Mladen / Stanojević, Ivan / Šenk, Vojin et al. | 2014
- 383
-
A complete solution to the complexity of Synchronizing Road Coloring for non-binary alphabetsRoman, A. / Drewienkowski, M. et al. | 2014
- i
-
Editorial Board| 2015