Search dblp for Publications

export results for "toc:db/journals/siglog/siglog5.bht:"

 download as .bib file

@article{DBLP:journals/siglog/AhmedFG18,
  author       = {Daniele Ahmed and
                  Katherine Fletcher and
                  Julian Gutierrez},
  title        = {Federated logic conference (FLoC) at Oxford},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {52--53},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292055},
  doi          = {10.1145/3292048.3292055},
  timestamp    = {Wed, 27 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/AhmedFG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/BaierD18,
  author       = {Christel Baier and
                  Clemens Dubslaff},
  title        = {From verification to synthesis under cost-utility constraints},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {26--46},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292052},
  doi          = {10.1145/3292048.3292052},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/BaierD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Bojanczyk18,
  author       = {Mikolaj Bojanczyk},
  title        = {Automata column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {1},
  pages        = {13},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183645.3183646},
  doi          = {10.1145/3183645.3183646},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Bojanczyk18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Bojanczyk18a,
  author       = {Mikolaj Bojanczyk},
  title        = {Automata column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212020},
  doi          = {10.1145/3212019.3212020},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Bojanczyk18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Bojanczyk18b,
  author       = {Mikolaj Bojanczyk},
  title        = {Automata column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242955},
  doi          = {10.1145/3242953.3242955},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Bojanczyk18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Bulatov18,
  author       = {Andrei A. Bulatov},
  title        = {Constraint satisfaction problems: complexity and algorithms},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {4--24},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292050},
  doi          = {10.1145/3292048.3292050},
  timestamp    = {Wed, 27 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Bulatov18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/CiabattoniGR18,
  author       = {Agata Ciabattoni and
                  Francesco A. Genco and
                  Revantha Ramanayake},
  title        = {Substructural logics: \emph{semantics, proof theory, and applications.}
                  report on the second {SYSMICS} workshop},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {58--60},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212027},
  doi          = {10.1145/3212019.3212027},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/CiabattoniGR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/CiabattoniLB18,
  author       = {Agata Ciabattoni and
                  Bj{\"{o}}rn Lellmann and
                  Kees van Berkel},
  title        = {\emph{Deontic reasoning: from ancient texts to artificial intelligence.}:
                  workshop report},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {48--51},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292054},
  doi          = {10.1145/3292048.3292054},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siglog/CiabattoniLB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Coquand18,
  author       = {Thierry Coquand},
  title        = {A survey of constructive presheaf models of univalence},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {54--65},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242962},
  doi          = {10.1145/3242953.3242962},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Coquand18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Delaune18,
  author       = {St{\'{e}}phanie Delaune},
  title        = {{POPSTAR:} so near and yet so far},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {45--51},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242960},
  doi          = {10.1145/3242953.3242960},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Delaune18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/DeutschHLV18,
  author       = {Alin Deutsch and
                  Richard Hull and
                  Yuliang Li and
                  Victor Vianu},
  title        = {Automatic verification of database-centric systems},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {37--56},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212025},
  doi          = {10.1145/3212019.3212025},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/DeutschHLV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Figueira18,
  author       = {Diego Figueira},
  title        = {Satisfiability of Xpath on data trees},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {4--16},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212021},
  doi          = {10.1145/3212019.3212021},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Figueira18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Haase18,
  author       = {Christoph Haase},
  title        = {A survival guide to presburger arithmetic},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {67--82},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242964},
  doi          = {10.1145/3242953.3242964},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Haase18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Hillston18,
  author       = {Jane Hillston},
  title        = {Stochastic process algebras and their markovian semantics},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {20--35},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212023},
  doi          = {10.1145/3212019.3212023},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Hillston18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Immerman18,
  author       = {Neil Immerman},
  title        = {Complexity column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {21},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242957},
  doi          = {10.1145/3242953.3242957},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Immerman18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Immerman18a,
  author       = {Neil Immerman},
  title        = {Complexity column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292049},
  doi          = {10.1145/3292048.3292049},
  timestamp    = {Wed, 27 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Immerman18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/KieronskiPT18,
  author       = {Emanuel Kieronski and
                  Ian Pratt{-}Hartmann and
                  Lidia Tendera},
  title        = {Two-variable logics with counting and semantic constraints},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {22--43},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242958},
  doi          = {10.1145/3242953.3242958},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/KieronskiPT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Lazic18,
  author       = {Ranko Lazic},
  title        = {Verification column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {36},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212024},
  doi          = {10.1145/3212019.3212024},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Lazic18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Lazic18a,
  author       = {Ranko Lazic},
  title        = {Verification column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {66},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242963},
  doi          = {10.1145/3242953.3242963},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Lazic18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Lazic18b,
  author       = {Ranko Lazic},
  title        = {Verification column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292051},
  doi          = {10.1145/3292048.3292051},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Lazic18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Maffei18,
  author       = {Matteo Maffei},
  title        = {Security {\&} privacy column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {44},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242959},
  doi          = {10.1145/3242953.3242959},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Maffei18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Mezzina18,
  author       = {Claudio Antares Mezzina},
  title        = {Discotec 2018 conference report},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {84--85},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242967},
  doi          = {10.1145/3242953.3242967},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Mezzina18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Mislove18,
  author       = {Michael W. Mislove},
  title        = {Semantics column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {17--19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212022},
  doi          = {10.1145/3212019.3212022},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Mislove18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Mislove18a,
  author       = {Michael W. Mislove},
  title        = {Semantics column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {52--53},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242961},
  doi          = {10.1145/3242953.3242961},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Mislove18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/NalonSPM18,
  author       = {Cl{\'{a}}udia Nalon and
                  Daniele Nantes Sobrinho and
                  Elaine Pimentel and
                  Jo{\~{a}}o Marcos},
  title        = {Brasilia Spring on Automated Reasoning},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {1},
  pages        = {21--22},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183645.3183650},
  doi          = {10.1145/3183645.3183650},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/NalonSPM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Perez18,
  author       = {Jorge A. P{\'{e}}rez},
  title        = {Conference reports},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {1},
  pages        = {20},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183645.3183649},
  doi          = {10.1145/3183645.3183649},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Perez18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Perez18a,
  author       = {Jorge A. P{\'{e}}rez},
  title        = {Conference reports},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {57},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212026},
  doi          = {10.1145/3212019.3212026},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Perez18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Perez18b,
  author       = {Jorge A. P{\'{e}}rez},
  title        = {Conference reports},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {83},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242966},
  doi          = {10.1145/3242953.3242966},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Perez18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Perez18c,
  author       = {Jorge A. P{\'{e}}rez},
  title        = {Conference reports},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {47},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292053},
  doi          = {10.1145/3292048.3292053},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siglog/Perez18c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Petrisan18,
  author       = {Daniela Petrisan},
  title        = {{SIGLOG} monthly 198},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {1},
  pages        = {23--49},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183645.3183651},
  doi          = {10.1145/3183645.3183651},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Petrisan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Petrisan18a,
  author       = {Daniela Petrisan},
  title        = {{SIGLOG} monthly 199},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {2},
  pages        = {61--93},
  year         = {2018},
  url          = {https://doi.org/10.1145/3212019.3212028},
  doi          = {10.1145/3212019.3212028},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Petrisan18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Petrisan18b,
  author       = {Daniela Petrisan},
  title        = {{SIGLOG} monthly 200},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {86--102},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242968},
  doi          = {10.1145/3242953.3242968},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Petrisan18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Petrisan18c,
  author       = {Daniela Petrisan},
  title        = {{SIGLOG} monthly 201},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {54--69},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292056},
  doi          = {10.1145/3292048.3292056},
  timestamp    = {Wed, 27 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Petrisan18c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Rungta18,
  author       = {Neha Rungta},
  title        = {Verification column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {1},
  pages        = {19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183645.3183648},
  doi          = {10.1145/3183645.3183648},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Rungta18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Straubing18,
  author       = {Howard Straubing},
  title        = {First-order logic and aperiodic languages: a revisionist history},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {3},
  pages        = {4--20},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242953.3242956},
  doi          = {10.1145/3242953.3242956},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Straubing18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Thomas18,
  author       = {Wolfgang Thomas},
  title        = {Ehrenfeucht, Vaught, and the decidability of the weak monadic theory
                  of successor},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {1},
  pages        = {14--18},
  year         = {2018},
  url          = {https://doi.org/10.1145/3183645.3183647},
  doi          = {10.1145/3183645.3183647},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Thomas18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.