Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             19 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An improved combinatorial algorithm for Boolean matrix multiplication Yu, Huacheng

261 P2 p. 240-247
artikel
2 Block interpolation: A framework for tight exponential-time counting complexity Curticapean, Radu

261 P2 p. 265-280
artikel
3 Comparator Circuits over Finite Bounded Posets Komarath, Balagopal

261 P2 p. 160-174
artikel
4 Decision problems of tree transducers with origin Filiot, Emmanuel

261 P2 p. 311-335
artikel
5 Dynamic algorithms via the primal-dual method Bhattacharya, Sayan

261 P2 p. 219-239
artikel
6 Editorial Board
261 P2 p. ii
artikel
7 Effect algebras, presheaves, non-locality and contextuality Staton, Sam

261 P2 p. 336-354
artikel
8 Game semantics for dependent types Vákár, Matthijs

261 P2 p. 401-431
artikel
9 Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes Etessami, Kousha

261 P2 p. 355-382
artikel
10 Interactive communication with unknown noise rate Dani, Varsha

261 P2 p. 464-486
artikel
11 Linear-time list recovery of high-rate expander codes Hemenway, Brett

261 P2 p. 202-218
artikel
12 Local reduction Jahanjou, Hamidreza

261 P2 p. 281-295
artikel
13 On reducing linearizability to state reachability Bouajjani, Ahmed

261 P2 p. 383-400
artikel
14 Proofs of proximity for context-free languages and read-once branching programs Goldreich, Oded

261 P2 p. 175-201
artikel
15 Selling two goods optimally Giannakopoulos, Yiannis

261 P2 p. 432-445
artikel
16 Short proofs of the Kneser–Lovász coloring principle Aisenberg, James

261 P2 p. 296-310
artikel
17 Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan Halldórsson, Magnús M.

261 P2 p. 159
artikel
18 Symmetric graph properties have independent edges Achlioptas, Dimitris

261 P2 p. 446-463
artikel
19 2-vertex connectivity in directed graphs Georgiadis, Loukas

261 P2 p. 248-264
artikel
                             19 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland