Search dblp for Publications

export results for "toc:db/journals/tocl/tocl4.bht:"

 download as .bib file

@article{DBLP:journals/tocl/AdlerI03,
  author       = {Micah Adler and
                  Neil Immerman},
  title        = {An \emph{n!} lower bound on formula size},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {296--314},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772064},
  doi          = {10.1145/772062.772064},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AdlerI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/AlonMNSV03,
  author       = {Noga Alon and
                  Tova Milo and
                  Frank Neven and
                  Dan Suciu and
                  Victor Vianu},
  title        = {Typechecking {XML} views of relational databases},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {315--354},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772065},
  doi          = {10.1145/772062.772065},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AlonMNSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/AngiulliBIP03,
  author       = {Fabrizio Angiulli and
                  Rachel Ben{-}Eliyahu{-}Zohary and
                  Giovambattista Ianni and
                  Luigi Palopoli},
  title        = {Computational properties of metaquerying problems},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {2},
  pages        = {149--180},
  year         = {2003},
  url          = {https://doi.org/10.1145/635499.635501},
  doi          = {10.1145/635499.635501},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/AngiulliBIP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Avigad03,
  author       = {Jeremy Avigad},
  title        = {Eliminating definitions and Skolem functions in first-order logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {402--415},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772068},
  doi          = {10.1145/772062.772068},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/Avigad03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BlassG03,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {Abstract state machines capture parallel algorithms},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {4},
  pages        = {578--651},
  year         = {2003},
  url          = {https://doi.org/10.1145/937555.937561},
  doi          = {10.1145/937555.937561},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BlassG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BryansBD03,
  author       = {Jeremy W. Bryans and
                  Howard Bowman and
                  John Derrick},
  title        = {Model checking stochastic automata},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {4},
  pages        = {452--492},
  year         = {2003},
  url          = {https://doi.org/10.1145/937555.937558},
  doi          = {10.1145/937555.937558},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BryansBD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BunemanFW03,
  author       = {Peter Buneman and
                  Wenfei Fan and
                  Scott Weinstein},
  title        = {Interaction between path and type constraints},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {4},
  pages        = {530--577},
  year         = {2003},
  url          = {https://doi.org/10.1145/937555.937560},
  doi          = {10.1145/937555.937560},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BunemanFW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BustanG03,
  author       = {Doron Bustan and
                  Orna Grumberg},
  title        = {Simulation-based minimazation},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {2},
  pages        = {181--206},
  year         = {2003},
  url          = {https://doi.org/10.1145/635499.635502},
  doi          = {10.1145/635499.635502},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BustanG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/ComonNNR03,
  author       = {Hubert Comon and
                  Paliath Narendran and
                  Robert Nieuwenhuis and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Deciding the confluence of ordered term rewrite systems},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {1},
  pages        = {33--55},
  year         = {2003},
  url          = {https://doi.org/10.1145/601775.601777},
  doi          = {10.1145/601775.601777},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/ComonNNR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Dezani-CiancagliniHA03,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Furio Honsell and
                  Fabio Alessi},
  title        = {A complete characterization of complete intersection-type preorders},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {1},
  pages        = {120--147},
  year         = {2003},
  url          = {https://doi.org/10.1145/601775.601780},
  doi          = {10.1145/601775.601780},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Dezani-CiancagliniHA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/GradelHJP03,
  author       = {Erich Gr{\"{a}}del and
                  Joseph Y. Halpern and
                  Radha Jagadeesan and
                  Adolfo Piperno},
  title        = {{LICS} 2001 special issue},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {295},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772063},
  doi          = {10.1145/772062.772063},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GradelHJP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/HarlandP03,
  author       = {James Harland and
                  David J. Pym},
  title        = {Resource-distribution via Boolean constraints},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {1},
  pages        = {56--90},
  year         = {2003},
  url          = {https://doi.org/10.1145/601775.601778},
  doi          = {10.1145/601775.601778},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/HarlandP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/KozenT03,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  title        = {Substructural logic and partial correctness},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {355--378},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772066},
  doi          = {10.1145/772062.772066},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/KozenT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/KutzWSSZ03,
  author       = {Oliver Kutz and
                  Frank Wolter and
                  Holger Sturm and
                  Nobu{-}Yuki Suzuki and
                  Michael Zakharyaschev},
  title        = {Logics of metric spaces},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {2},
  pages        = {260--294},
  year         = {2003},
  url          = {https://doi.org/10.1145/635499.635504},
  doi          = {10.1145/635499.635504},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/KutzWSSZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Libkin03,
  author       = {Leonid Libkin},
  title        = {Variable independence for first-order definable constraints},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {4},
  pages        = {431--451},
  year         = {2003},
  url          = {https://doi.org/10.1145/937555.937557},
  doi          = {10.1145/937555.937557},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Libkin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/LoncT03,
  author       = {Zbigniew Lonc and
                  Miroslaw Truszczynski},
  title        = {Fixed-parameter complexity of semantics for logic programs},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {1},
  pages        = {91--119},
  year         = {2003},
  url          = {https://doi.org/10.1145/601775.601779},
  doi          = {10.1145/601775.601779},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/LoncT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/MesnardR03a,
  author       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Salvatore Ruggieri},
  title        = {On proving left termination of constraint logic programs},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {2},
  pages        = {207--259},
  year         = {2003},
  url          = {https://doi.org/10.1145/635499.635503},
  doi          = {10.1145/635499.635503},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/MesnardR03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/MomiglianoP03,
  author       = {Alberto Momigliano and
                  Frank Pfenning},
  title        = {Higher-order pattern complement and the strict lambda-calculus},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {4},
  pages        = {493--529},
  year         = {2003},
  url          = {https://doi.org/10.1145/937555.937559},
  doi          = {10.1145/937555.937559},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/MomiglianoP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Salibra03,
  author       = {Antonino Salibra},
  title        = {Topological incompleteness and order incompleteness of the lambda
                  calculu},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {379--401},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772067},
  doi          = {10.1145/772062.772067},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Salibra03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/ShenYYSY03,
  author       = {Yi{-}Dong Shen and
                  Jia{-}Huai You and
                  Li{-}Yan Yuan and
                  Samuel S. P. Shen and
                  Qiang Yang},
  title        = {A dynamic approach to characterizing termination of general logic
                  programs},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {4},
  pages        = {417--430},
  year         = {2003},
  url          = {https://doi.org/10.1145/937555.937556},
  doi          = {10.1145/937555.937556},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/ShenYYSY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/WadlerT03,
  author       = {Philip Wadler and
                  Peter Thiemann},
  title        = {The marriage of effects and monads},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {1},
  pages        = {1--32},
  year         = {2003},
  url          = {https://doi.org/10.1145/601775.601776},
  doi          = {10.1145/601775.601776},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/WadlerT03.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.