default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGLOG News, Volume 2
Volume 2, Number 1, January 2015
- Mikolaj Bojanczyk:
McNaughton's theorem. 5-6
- Anuj Dawar:
The nature and power of fixed-point logic with counting. 8-21
- Catalin Hritcu:
The Joint EasyCrypt-F*-CryptoVerif School 2014. 23-24 - Véronique Cortier:
Formal verification of e-voting: solutions and challenges. 25-34
- Steve Awodey, Robert Harper:
Homotopy type theory: unified foundations of mathematics and computation. 37-44
- Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. 46-51
Volume 2, Number 2, April 2015
- Mikolaj Bojanczyk:
Automata column. 3 - Joël Ouaknine, James Worrell:
On linear recurrence sequences and loop termination. 4-13 - Michael W. Mislove:
Semantics column. 14-15 - Alexandra Silva:
A short introduction to the coalgebraic method. 16-27 - Neha Rungta:
Verification column. 28 - Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas:
Algorithmic logic-based verification. 29-38
Volume 2, Number 3, July 2015
- Thomas Place, Marc Zeitoun:
The tale of the quantifier alternation hierarchy of first-order logic over words. 4-17
- Jakob Nordström:
On the interplay between proof complexity and SAT solving. 19-44
- Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Location privacy via geo-indistinguishability. 46-69
- Prakash Panangaden:
Probabilistic bisimulation. 72-84
Volume 2, Number 4, October 2015
- Mikolaj Bojanczyk:
Automata column. 3-15
- Darren D. Cofer:
You keep using that word. 17-25
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-12 23: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:
