Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Computer and System Sciences, Volume 88
Volume 88, September 2017
- Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
20th workshop on logic, language, information and computation - WoLLIC 2013. 1-2 - Thomas Zeume, Thomas Schwentick:
Dynamic conjunctive queries. 3-26 - Sardaouna Hamadou, Catuscia Palamidessi
, Vladimiro Sassone:
Quantifying leakage in the presence of unreliable sources of information. 27-52 - Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger:
Decidability of order-based modal logics. 53-74 - Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens:
Deciding definability by deterministic regular expressions. 75-89 - Fredrik Engström, Juha Kontinen, Jouko Väänänen:
Dependence logic with generalized quantifiers: Axiomatizations. 90-102 - Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema:
Boolean dependence logic and partially-ordered connectives. 103-125 - Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Model-checking for Resource-Bounded ATL with production and consumption of resources. 126-144
- Julio Aracena, Adrien Richard, Lilian Salinas:
Fixed points in conjunctive networks and maximal independent sets in graph contractions. 145-163 - Pablo Barceló, Gaëlle Fontaine:
On the data complexity of consistent query answering over graph databases. 164-194 - Rajesh Chitnis, Fedor V. Fomin, Daniel Lokshtanov, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh:
Faster exact algorithms for some terminal set problems. 195-207 - Jin-Xin Zhou:
On g-extra connectivity of hypercube-like networks. 208-219 - Kirill Kogan, Alejandro López-Ortiz, Sergey I. Nikolenko, Alexander V. Sirotkin:
The impact of processing order on performance: A taxonomy of semi-FIFO policies. 220-235 - Krishnendu Chatterjee, Yaron Velner:
Hyperplane separation technique for multidimensional mean-payoff games. 236-259 - Mingyu Xiao:
Linear kernels for separating a graph into components of bounded size. 260-270 - Umair Siddique, Sofiène Tahar:
Formal verification of stability and chaos in periodic optical systems. 271-289
a service of 
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-04-22 20:03 CEST 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:
