default search action

combined dblp search
author search
venue search
publication search

ask others

ACM SIGLOG News, Volume 8

> 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 8, Number 1, January 2021

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Esparza21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Esparza21
Javier Esparza:
The 2021 Alonzo Church award for outstanding contributions to logic and computation: call for nominations. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser21
David Purser:
SIGLOG monthly 209. 4-14

Volume 8, Number 2, April 2021

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic21
Ranko Lazic:
Verification column. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Bruyere21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Bruyere21
Véronique Bruyère:
Synthesis of equilibria in infinite-duration games on graphs. 4-29
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser21a
David Purser:
SIGLOG monthly 212. 30-45

Volume 8, Number 3, July 2021

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic21a
Ranko Lazic:
Verification column. 5
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/DemriQ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/DemriQ21
Stéphane Demri, Karin Quaas:
Concrete domains in logics: a survey. 6-29
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser21b
David Purser:
SIGLOG monthly 215. 30-39

Volume 8, Number 4, October 2021

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lazic21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lazic21b
Ranko Lazic:
Verification column. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Kucera21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Kucera21
Antonín Kucera:
Algorithmic analysis of termination and counter complexity in vector addition systems with states: a survey of recent results. 4-21
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Perez21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Perez21
Jorge A. Pérez:
Conference reports. 22
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Gorla21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Gorla21
Daniele Gorla:
The 2021 experience of logic in computer science. 23-24
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Purser21c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Purser21c
David Purser:
SIGLOG monthly 218. 25-32

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.