default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRAIRO - Theoretical Informatics and Applications, Volume 49
Volume 49, Number 1, January - March 2015
- Manfred Kufleitner
, Tobias Walter:
One quantifier alternation in first-order logic with modular predicates. 1-22 - Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol:
Exact location of the phase transition for random (1, 2)-QSAT. 23-45 - Lan Lin, Yixun Lin:
New bounds on the edge-bandwidth of triangular grids. 47-60 - Juha Honkala:
The finiteness problem for monoids of morphisms. 61-65 - Alexey E. Rastegin:
Further results on generalized conditional entropies. 67-92
Volume 49, Number 2, April - June 2015
- Raed Jaberi:
Computing the 2-blocks of directed graphs. 93-119 - Olivier Finkel, Dominique Lecomte, Pierre Simonnet:
An upper bound on the complexity of recognizable tree languages. 121-137 - Sacha Krug:
Towards using the history in online computation with advice. 139-152 - Mikhail Barash, Alexander Okhotin:
Linear grammars with one-sided contexts and their automaton representation. 153-178
Volume 49, Number 3, July - September 2015
- Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann:
Optimal strategy synthesis for request-response games. 179-203 - Alexander Okhotin:
On language equations with concatenation and various sets of Boolean operations. 205-232 - Itamar Stein:
Reducing the gradedness problem of string rewriting systems to a termination problem. 233-254 - Abdalhossein Rezai, Parviz Keshavarzi:
Algorithm design and theoretical analysis of a novel CMM modular exponentiation algorithm for large integers. 255-268
Volume 49, Number 4, October - December 2015
- Ersin Aslan:
Neighbor Isolated Tenacity of Graphs. 269-284 - Nasim Samei, Roberto Solis-Oba:
Analysis of a local search algorithm for the k-facility location problem. 285-306 - Lunzhi Deng:
Certificateless ring signature based on RSA problem and DL problem. 307-318
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 2024-11-11 21:34 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:
