default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGLOG News, Volume 6
Volume 6, Number 1, January 2019
- Mikolaj Bojanczyk:
Automata Column. 4 - Mikolaj Bojanczyk:
The Hilbert method for transducer equivalence. 5-17 - Ranko Lazic:
Verification Column. 18 - Martin Fränzle, Mingshuai Chen, Paul Kröger
:
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. 19-39 - Jorge A. Pérez:
Conference Reports. 40 - Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin:
Women in Logic 2018 workshop report. 41-42
Volume 6, Number 2, April 2019
- Michael W. Mislove:
Semantics column. 3-4 - David J. Pym:
Resource semantics: logic as a modelling technology. 5-41 - Ranko Lazic:
Verification column. 42 - Ori Lahav:
Verification under causally consistent shared memory. 43-56
Volume 6, Number 3, July 2019
- Jorge A. Pérez:
Conference reports. 6 - Michael Morak, Anna Prianichnikova, Ana Sokolova:
Helmut Veith memorial workshop 2019 report. 7-8 - Daniela Petrisan:
SIGLOG monthly 202. 9-18
Volume 6, Number 4, October 2019
- Ranko Lazic:
Verification column. 3 - Matthew Hague:
Strings at MOSCA. 4-22 - Jorge A. Pérez:
Conference reports. 23 - Alberto Lluch-Lafuente:
DisCoTec 2019: the 14th international federated conference on distributed computing techniques. 24-25 - Daniela Petrisan:
SIGLOG monthly 203. 26-43
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-11-18 20:50 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:
