default search action

combined dblp search
author search
venue search
publication search

ask others

ACM SIGLOG News, Volume 9

> Home > Journals > ACM SIGLOG News

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 9, Number 1, January 2022

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic22
Ranko Lazic:
Verification column. 5
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Aiswarya22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Aiswarya22
C. Aiswarya:
How treewidth helps in verification. 6-21
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Perez22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Perez22
Jorge A. Pérez:
Conference reports. 22
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Veltri22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Veltri22
Niccolò Veltri:
Report on PPDP/LOPSTR 2021. 23-24
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser22
David Purser:
SIGLOG monthly 221. 25-34

Volume 9, Number 2, April 2022

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Mislove22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Mislove22
Michael W. Mislove:
Semantics column. 3-6
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Levy22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Levy22
Paul Blain Levy:
Call-by-push-value. 7-29
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Perez22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Perez22a
Jorge A. Pérez:
Conference reports. 30
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/AlvesKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/AlvesKS22
Sandra Alves, Sandra Kiefer, Ana Sokolova:
Report on women in logic 2020 & 2021. 31-33
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser22a
David Purser:
SIGLOG monthly 224. 34-50

Volume 9, Number 3, July 2022

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Viswanathan22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Viswanathan22
Mahesh Viswanathan:
Automata column. 5
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Srivathsan22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Srivathsan22
B. Srivathsan:
Reachability in timed automata. 6-28
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Bulatov22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Bulatov22
Andrei Bulatov:
Complexity column. 29
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/KrokhinO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/KrokhinO22
Andrei A. Krokhin, Jakub Oprsal:
An invitation to the promise constraint satisfaction problem. 30-59
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Perez22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Perez22b
Jorge A. Pérez:
Conference reports. 60
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/HansenZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/HansenZ22
Helle Hvid Hansen, Fabio Zanasi:
Report on coalgebraic methods in computer science 2022. 61-62
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser22b
David Purser:
SIGLOG monthly 227. 63

Volume 9, Number 4, October 2022

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Murawski22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Murawski22
Andrzej S. Murawski:
From the Editor. 1
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Kozen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Kozen22
Dexter Kozen:
2022 Alonzo Church Award Announcement. 2-3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Viswanathan22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Viswanathan22a
Mahesh Viswanathan:
Automata Column. 4
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Pavlogiannis22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Pavlogiannis22
Andreas Pavlogiannis:
CFL/Dyck Reachability: An Algorithmic Perspective. 5-25
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic22a
Ranko Lazic:
Verification Column. 26
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Shirmohammadi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Shirmohammadi22
Mahsa Shirmohammadi:
A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood? 27-43
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser22c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser22c
David Purser:
SIGLOG Monthly 230. 44-49

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.