default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 255
Volumes 255, Part 1, August 2017
- Samy Abbes
:
Synchronization of Bernoulli sequences on shared letters. 1-26 - Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov:
Weighted automata on infinite words in the context of Attacker-Defender games. 27-44 - Sanjay Jain, Efim B. Kinber, Frank Stephan:
Automatic learning from positive data and negative counterexamples. 45-67 - Alan J. Cain, Robert D. Gray, António Malheiro:
On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids. 68-93 - Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune:
A procedure for deciding symbolic equivalence between sets of constraint systems. 94-125 - Mingyu Xiao, Hiroshi Nagamochi:
Exact algorithms for maximum independent set. 126-146 - Moritz Müller, Stefan Szeider:
The treewidth of proofs. 147-164 - Patrick Bennett, Ilario Bonacina, Nicola Galesi, Tony Huynh, Mike Molloy, Paul Wollan:
Space proof complexity for random 3-CNFs. 165-176 - Markus Krötzsch, Tomás Masopust, Michaël Thomazo:
Complexity of universality and related problems for partially ordered NFAs. 177-192
Volumes 255, Part 2, August 2017
- Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. 193-194 - Sergio Abriola, María Emilia Descotte, Santiago Figueira:
Model theory of XPath on data trees. Part II: Binary bisimulation and definability. 195-223 - Beniamino Accattoli, Claudio Sacerdoti Coen:
On the value of variables. 224-242 - Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber:
The modal logic of copy and remove. 243-261 - Alexander Baumgartner, Temur Kutsia:
Unranked second-order anti-unification. 262-286 - Gustavo Adrian Bodanza, Claudio A. Alessio:
Rethinking specificity in defeasible reasoning and its effect in argument reinstatement. 287-310 - Luca Viganò, Marco Volpe, Margherita Zorzi:
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. 311-333
Volumes 255, Part 3, August 2017
- Andrzej Pelc, Alexander A. Schwarzmann:
Special issue containing selected expanded papers from the 17th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS 2015). 335 - Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi:
Constructing self-stabilizing oscillators in population protocols. 336-351 - Lili Su, Nitin H. Vaidya:
Reaching approximate Byzantine consensus with multi-hop communication. 352-368 - Quentin Bramas, Sébastien Tixeuil:
The complexity of data aggregation in static and dynamic wireless sensor networks. 369-383 - Dan Brownstein, Shlomi Dolev, Niv Gilboa:
Functional encryption for cascade automata. 384-407 - Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann:
Towards a universal approach for the finite departure problem in overlay networks. 408-424
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.
last updated on 2025-12-12 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
