default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGLOG News, Volume 5
Volume 5, Number 1, January 2018
- Mikolaj Bojanczyk:
Automata column. 13 - Wolfgang Thomas:
Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor. 14-18 - Neha Rungta:
Verification column. 19 - Jorge A. Pérez:
Conference reports. 20 - Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel
, João Marcos:
Brasilia Spring on Automated Reasoning. 21-22 - Daniela Petrisan:
SIGLOG monthly 198. 23-49
Volume 5, Number 2, April 2018
- Mikolaj Bojanczyk:
Automata column. 3 - Diego Figueira:
Satisfiability of Xpath on data trees. 4-16 - Michael W. Mislove:
Semantics column. 17-19 - Jane Hillston:
Stochastic process algebras and their markovian semantics. 20-35 - Ranko Lazic:
Verification column. 36 - Alin Deutsch, Richard Hull, Yuliang Li, Victor Vianu:
Automatic verification of database-centric systems. 37-56 - Jorge A. Pérez:
Conference reports. 57 - Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake:
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop. 58-60 - Daniela Petrisan:
SIGLOG monthly 199. 61-93
Volume 5, Number 3, July 2018
- Mikolaj Bojanczyk:
Automata column. 3 - Howard Straubing:
First-order logic and aperiodic languages: a revisionist history. 4-20 - Neil Immerman:
Complexity column. 21 - Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera:
Two-variable logics with counting and semantic constraints. 22-43 - Matteo Maffei:
Security & privacy column. 44 - Stéphanie Delaune:
POPSTAR: so near and yet so far. 45-51 - Michael W. Mislove:
Semantics column. 52-53 - Thierry Coquand:
A survey of constructive presheaf models of univalence. 54-65 - Ranko Lazic:
Verification column. 66 - Christoph Haase:
A survival guide to presburger arithmetic. 67-82
- Jorge A. Pérez:
Conference reports. 83 - Claudio Antares Mezzina:
Discotec 2018 conference report. 84-85 - Daniela Petrisan:
SIGLOG monthly 200. 86-102
Volume 5, Number 4, October 2018
- Neil Immerman:
Complexity column. 3 - Andrei A. Bulatov:
Constraint satisfaction problems: complexity and algorithms. 4-24 - Ranko Lazic:
Verification column. 25 - Christel Baier, Clemens Dubslaff:
From verification to synthesis under cost-utility constraints. 26-46 - Jorge A. Pérez:
Conference reports. 47 - Agata Ciabattoni, Björn Lellmann, Kees van Berkel:
Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. 48-51 - Daniele Ahmed, Katherine Fletcher, Julian Gutierrez:
Federated logic conference (FLoC) at Oxford. 52-53 - Daniela Petrisan:
SIGLOG monthly 201. 54-69
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-04 22:10 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:
