default search action

combined dblp search
author search
venue search
publication search

ask others

ACM SIGLOG News, Volume 7

> Home > Journals > ACM SIGLOG News

Refine list

refinements active!

zoomed in on 23 of 23 records

view refined list in

export refined list as

showing all 23 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 7, Number 1, January 2020

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Immerman20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Immerman20
Neil Immerman:
Complexity column. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/BerkholzGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/BerkholzGS20
Christoph Berkholz, Fabian Gerhardt, Nicole Schweikardt:
Constant delay enumeration for conjunctive queries: a tutorial. 4-33
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic20
Ranko Lazic:
Verification column. 34
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Bertrand20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Bertrand20
Nathalie Bertrand:
Model checking randomized distributed algorithms. 35-45
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Perez20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Perez20
Jorge A. Pérez:
Conference reports. 46
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/AlvimCOV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/AlvimCOV20
Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia:
Catuscia Palamidessi: a journey from logic and concurrency to security and privacy. 47-50
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Murawski20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Murawski20
Andrzej S. Murawski:
The 2020 Alonzo Church award for outstanding contributions to logic and computation: call for nominations. 51
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Petrisan20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Petrisan20
Daniela Petrisan:
Siglog monthly 204. 52-73
no results

Volume 7, Number 2, April 2020

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic20a
Ranko Lazic:
Verification column. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Daviaud20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Daviaud20
Laure Daviaud:
Register complexity and determinisation of max-plus automata. 4-14
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Perez20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Perez20a
Jorge A. Pérez:
Conference reports. 15
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/CalvaneseFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/CalvaneseFM20
Diego Calvanese, Paul Fodor, Marco Montali:
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). 16-18
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Petrisan20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Petrisan20a
Daniela Petrisan:
SIGLOG monthly 205. 19-39
no results

Volume 7, Number 3, July 2020

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Immerman20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Immerman20a
Neil Immerman:
Complexity column. 4
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Kiefer20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Kiefer20
Sandra Kiefer:
The Weisfeiler-Leman algorithm: an exploration of its power. 5-27
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic20b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic20b
Ranko Lazic:
Verification column. 28
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Blondin20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Blondin20
Michael Blondin:
The ABCs of petri net reachability relaxations. 29-43
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Perez20b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Perez20b
Jorge A. Pérez:
Conference reports. 44
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Vicary20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Vicary20
Jamie Vicary:
Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls. 45-46
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Petrisan20b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Petrisan20b
Daniela Petrisan:
SIGLOG monthly 206. 47-54
no results

Volume 7, Number 4, October 2020

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic20c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic20c
Ranko Lazic:
Verification column. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Atig20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Atig20
Mohamed Faouzi Atig:
What is decidable under the TSO memory model? 4-19
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Petrisan20c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Petrisan20c
Daniela Petrisan:
SIGLOG monthly 207. 20-26
no results

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.