Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tocl/Arieli07,
  author       = {Ofer Arieli},
  title        = {Paraconsistent reasoning and preferential entailments by signed quantified
                  Boolean formulae},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {3},
  pages        = {18},
  year         = {2007},
  url          = {https://doi.org/10.1145/1243996.1244001},
  doi          = {10.1145/1243996.1244001},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Arieli07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BenediktLN07,
  author       = {Michael Benedikt and
                  Leonid Libkin and
                  Frank Neven},
  title        = {Logical definability and query languages over ranked and unranked
                  trees},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {2},
  pages        = {11},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227839.1227843},
  doi          = {10.1145/1227839.1227843},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BenediktLN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BlassG07,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {Ordinary interactive small-step algorithms, {II}},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {3},
  pages        = {15},
  year         = {2007},
  url          = {https://doi.org/10.1145/1243996.1243998},
  doi          = {10.1145/1243996.1243998},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BlassG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BlassG07a,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {Ordinary interactive small-step algorithms, {III}},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {3},
  pages        = {16},
  year         = {2007},
  url          = {https://doi.org/10.1145/1243996.1243999},
  doi          = {10.1145/1243996.1243999},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BlassG07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/BonacinaD07,
  author       = {Maria Paola Bonacina and
                  Nachum Dershowitz},
  title        = {Abstract canonical inference},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {1},
  pages        = {6},
  year         = {2007},
  url          = {https://doi.org/10.1145/1182613.1182619},
  doi          = {10.1145/1182613.1182619},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BonacinaD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/ChoiLS07,
  author       = {Chiu Wo Choi and
                  Jimmy Ho{-}Man Lee and
                  Peter J. Stuckey},
  title        = {Removing propagation redundant constraints in redundant modeling},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {4},
  pages        = {23},
  year         = {2007},
  url          = {https://doi.org/10.1145/1276920.1276925},
  doi          = {10.1145/1276920.1276925},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/ChoiLS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Crary07,
  author       = {Karl Crary},
  title        = {Sound and complete elimination of singleton kinds},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {2},
  pages        = {8},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227839.1227840},
  doi          = {10.1145/1227839.1227840},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Crary07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/DurandG07,
  author       = {Arnaud Durand and
                  Etienne Grandjean},
  title        = {First-order queries on structures of bounded degree are computable
                  with constant delay},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {4},
  pages        = {21},
  year         = {2007},
  url          = {https://doi.org/10.1145/1276920.1276923},
  doi          = {10.1145/1276920.1276923},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/DurandG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/EiterFW07,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Stefan Woltran},
  title        = {Semantical characterizations and complexity of equivalences in answer
                  set programming},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {3},
  pages        = {17},
  year         = {2007},
  url          = {https://doi.org/10.1145/1243996.1244000},
  doi          = {10.1145/1243996.1244000},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/EiterFW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Guglielmi07,
  author       = {Alessio Guglielmi},
  title        = {A system of interaction and structure},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {1},
  pages        = {1},
  year         = {2007},
  url          = {https://doi.org/10.1145/1182613.1182614},
  doi          = {10.1145/1182613.1182614},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Guglielmi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/HitchcockLT07,
  author       = {John M. Hitchcock and
                  Jack H. Lutz and
                  Sebastiaan Terwijn},
  title        = {The arithmetical complexity of dimension and randomness},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {2},
  pages        = {13},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227839.1227845},
  doi          = {10.1145/1227839.1227845},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/HitchcockLT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/HungGS07,
  author       = {Edward Hung and
                  Lise Getoor and
                  V. S. Subrahmanian},
  title        = {Probabilistic interval {XML}},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {4},
  pages        = {24},
  year         = {2007},
  url          = {https://doi.org/10.1145/1276920.1276926},
  doi          = {10.1145/1276920.1276926},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/HungGS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/LaplanteLMPR07,
  author       = {Sophie Laplante and
                  Richard Lassaigne and
                  Fr{\'{e}}d{\'{e}}ric Magniez and
                  Sylvain Peyronnet and
                  Michel de Rougemont},
  title        = {Probabilistic abstraction for model checking: An approach based on
                  property testing},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {4},
  pages        = {20},
  year         = {2007},
  url          = {https://doi.org/10.1145/1276920.1276922},
  doi          = {10.1145/1276920.1276922},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/LaplanteLMPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Liberatore07,
  author       = {Paolo Liberatore},
  title        = {Where fail-safe default logics fail},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {2},
  pages        = {10},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227839.1227842},
  doi          = {10.1145/1227839.1227842},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Liberatore07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/LiberatoreS07,
  author       = {Paolo Liberatore and
                  Marco Schaerf},
  title        = {Compilability of propositional abduction},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {1},
  pages        = {2},
  year         = {2007},
  url          = {https://doi.org/10.1145/1182613.1182615},
  doi          = {10.1145/1182613.1182615},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/LiberatoreS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/LinY07,
  author       = {Fangzhen Lin and
                  Jia{-}Huai You},
  title        = {Recycling computed answers in rewrite systems for abduction},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {2},
  pages        = {9},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227839.1227841},
  doi          = {10.1145/1227839.1227841},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/LinY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/McIverM07,
  author       = {Annabelle McIver and
                  Carroll Morgan},
  title        = {Results on the quantitative {\(\mathrm{\mu}\)}-calculus qM{\(\mathrm{\mu}\)}},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {1},
  pages        = {3},
  year         = {2007},
  url          = {https://doi.org/10.1145/1182613.1182616},
  doi          = {10.1145/1182613.1182616},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/McIverM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/OlivettiPS07,
  author       = {Nicola Olivetti and
                  Gian Luca Pozzato and
                  Camilla Schwind},
  title        = {A sequent calculus and a theorem prover for standard conditional logics},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {4},
  pages        = {22},
  year         = {2007},
  url          = {https://doi.org/10.1145/1276920.1276924},
  doi          = {10.1145/1276920.1276924},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/OlivettiPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/PediciniQ07,
  author       = {Marco Pedicini and
                  Francesco Quaglia},
  title        = {{PELCR:} Parallel environment for optimal lambda-calculus reduction},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {3},
  pages        = {14},
  year         = {2007},
  url          = {https://doi.org/10.1145/1243996.1243997},
  doi          = {10.1145/1243996.1243997},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/PediciniQ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Rabinovich07,
  author       = {Alexander Rabinovich},
  title        = {On compositionality and its limitations},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {1},
  pages        = {4},
  year         = {2007},
  url          = {https://doi.org/10.1145/1182613.1182617},
  doi          = {10.1145/1182613.1182617},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Rabinovich07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/SchmidtH07,
  author       = {Renate A. Schmidt and
                  Ullrich Hustadt},
  title        = {The axiomatic translation principle for modal logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {4},
  pages        = {19},
  year         = {2007},
  url          = {https://doi.org/10.1145/1276920.1276921},
  doi          = {10.1145/1276920.1276921},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/SchmidtH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/Sofronie-Stokkermans07,
  author       = {Viorica Sofronie{-}Stokkermans},
  title        = {On unification for bounded distributive lattices},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {2},
  pages        = {12},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227839.1227844},
  doi          = {10.1145/1227839.1227844},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/Sofronie-Stokkermans07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/VennekensGD07,
  author       = {Joost Vennekens and
                  David Gilis and
                  Marc Denecker},
  title        = {Erratum to splitting an operator: Algebraic modularity results for
                  logics with fixpoint semantics},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {1},
  pages        = {7},
  year         = {2007},
  url          = {https://doi.org/10.1145/1182613.1189735},
  doi          = {10.1145/1182613.1189735},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/VennekensGD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/YorshRSW07,
  author       = {Greta Yorsh and
                  Thomas W. Reps and
                  Mooly Sagiv and
                  Reinhard Wilhelm},
  title        = {Logical characterizations of heap abstractions},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {8},
  number       = {1},
  pages        = {5},
  year         = {2007},
  url          = {https://doi.org/10.1145/1182613.1182618},
  doi          = {10.1145/1182613.1182618},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/YorshRSW07.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.