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}
}

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.