Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/siglog/Barto14,
  author       = {Libor Barto},
  title        = {Constraint satisfaction problem and universal algebra},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {1},
  number       = {2},
  pages        = {14--24},
  year         = {2014},
  url          = {https://doi.org/10.1145/2677161.2677165},
  doi          = {10.1145/2677161.2677165},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Barto14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

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

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

@article{DBLP:journals/siglog/Jung14,
  author       = {Achim Jung},
  title        = {Semantics column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {1},
  number       = {2},
  pages        = {25--37},
  year         = {2014},
  url          = {https://doi.org/10.1145/2677161.2677167},
  doi          = {10.1145/2677161.2677167},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Jung14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@article{DBLP:journals/siglog/Mislove14,
  author       = {Michael W. Mislove},
  title        = {Semantics column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {1},
  number       = {1},
  pages        = {7--8},
  year         = {2014},
  url          = {https://doi.org/10.1145/2657460.2657465},
  doi          = {10.1145/2657460.2657465},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Mislove14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Rybalchenko14,
  author       = {Andrey Rybalchenko},
  title        = {Verification column},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {1},
  number       = {1},
  pages        = {9},
  year         = {2014},
  url          = {https://doi.org/10.1145/2657460.2657466},
  doi          = {10.1145/2657460.2657466},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Rybalchenko14.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.