![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 262
Volume 262, Part 1, October 2018
- Benjamin Aminof, Aniello Murano
, Sasha Rubin:
CTL* with graded path modalities. 1-21 - Vikraman Arvind, Pushkar S. Joglekar, Gaurav Rattan
:
On the complexity of noncommutative polynomial factorization. 22-39 - Argyrios Deligkas, John Fearnley, Rahul Savani
:
Inapproximability results for constrained approximate Nash equilibria. 40-56 - Panagiotis Charalampopoulos
, Maxime Crochemore, Gabriele Fici, Robert Mercas, Solon P. Pissis
:
Alignment-free sequence comparison using absent words. 57-68 - Guy Even, Moti Medina, Dana Ron
:
Best of two local models: Centralized local and distributed local algorithms. 69-89 - Laure Daviaud
, Charles Paperman
:
Classes of languages generated by the Kleene star of a word. 90-109 - Daniel Coronel
, Cristobal Rojas
, Michael Yampolsky:
Non computable Mandelbrot-like sets for a one-parameter complex family. 110-122 - George Barmpalias
, Nan Fang, Frank Stephan
:
Equivalences between learning of data and probability distributions, and their applications. 123-140 - Olaf Beyersdorff
, Leroy Chew
, Meena Mahajan
, Anil Shukla:
Understanding cutting planes for QBFs. 141-161 - Christian Eisentraut, Holger Hermanns
, Johann Schuster, Andrea Turrini
, Lijun Zhang:
The quest for minimal quotients for probabilistic and Markov automata. 162-186
Volume 262, Part 2, October 2018
- Domenico Cantone, Giorgio Delzanno:
Games, automata, logics and formal verification (GandALF 2016). 187-188 - Luca Bortolussi
, Roberta Lanciani, Laura Nenzi
:
Model checking Markov population models by stochastic approximations. 189-220 - Massimo Benerecetti, Daniele Dell'Erba
, Fabio Mogavero
:
A delayed promotion policy for parity games. 221-240 - Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. 241-264 - Gaëlle Fontaine, Fabio Mogavero
, Aniello Murano
, Giuseppe Perelli
, Loredana Sorrentino:
Cycle detection in computation tree logic. 265-279 - Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes:
Multi-buffer simulations: Decidability and complexity. 280-310 - Swen Jacobs
, Leander Tentrup, Martin Zimmermann
:
Distributed synthesis for parameterized temporal logics. 311-328
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.