Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tocl/tocl15.bht:"
download as .bib file
@article{DBLP:journals/tocl/ArtaleKRZ14,
author = {Alessandro Artale and
Roman Kontchakov and
Vladislav Ryzhikov and
Michael Zakharyaschev},
title = {A Cookbook for Temporal Conceptual Data Modelling with Description
Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {25:1--25:50},
year = {2014},
url = {https://doi.org/10.1145/2629565},
doi = {10.1145/2629565},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ArtaleKRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AschingerDGV14,
author = {Markus Aschinger and
Conrad Drescher and
Georg Gottlob and
Heribert Vollmer},
title = {LoCo - {A} Logic for Configuration Problems},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {20:1--20:25},
year = {2014},
url = {https://doi.org/10.1145/2629454},
doi = {10.1145/2629454},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AschingerDGV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AsuncionZZ14,
author = {Vernon Asuncion and
Yan Zhang and
Yi Zhou},
title = {Preferred First-Order Answer Set Programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {11:1--11:42},
year = {2014},
url = {https://doi.org/10.1145/2579817},
doi = {10.1145/2579817},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AsuncionZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AtseriasD14,
author = {Albert Atserias and
Anuj Dawar},
title = {Degree lower bounds of tower-type for approximating formulas with
parity quantifiers},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {6:1--6:24},
year = {2014},
url = {https://doi.org/10.1145/2559948},
doi = {10.1145/2559948},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AtseriasD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AtseriasT14,
author = {Albert Atserias and
Neil Thapen},
title = {The Ordering Principle in a Fragment of Approximate Counting},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {29:1--29:11},
year = {2014},
url = {https://doi.org/10.1145/2629555},
doi = {10.1145/2629555},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AtseriasT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Bauer14,
author = {Matthew S. Bauer},
title = {A PSPACE-complete first-order fragment of computability logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {1:1--1:11},
year = {2014},
url = {https://doi.org/10.1145/2559949},
doi = {10.1145/2559949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Bauer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BeckmannB14,
author = {Arnold Beckmann and
Samuel R. Buss},
title = {Improved witnessing and local improvement principles for second-order
bounded arithmetic},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {2:1--2:35},
year = {2014},
url = {https://doi.org/10.1145/2559950},
doi = {10.1145/2559950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BeckmannB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BeckmannPT14,
author = {Arnold Beckmann and
Pavel Pudl{\'{a}}k and
Neil Thapen},
title = {Parity Games and Propositional Proofs},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {17:1--17:30},
year = {2014},
url = {https://doi.org/10.1145/2579822},
doi = {10.1145/2579822},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BeckmannPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BokerCHK14,
author = {Udi Boker and
Krishnendu Chatterjee and
Thomas A. Henzinger and
Orna Kupferman},
title = {Temporal Specifications with Accumulative Values},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {27:1--27:25},
year = {2014},
url = {https://doi.org/10.1145/2629686},
doi = {10.1145/2629686},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BokerCHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BolligGMZ14,
author = {Benedikt Bollig and
Paul Gastin and
Benjamin Monmege and
Marc Zeitoun},
title = {Pebble Weighted Automata and Weighted Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {15:1--15:35},
year = {2014},
url = {https://doi.org/10.1145/2579819},
doi = {10.1145/2579819},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BolligGMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonchiBHPRS14,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Helle Hvid Hansen and
Prakash Panangaden and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Algebra-coalgebra duality in Brzozowski's minimization algorithm},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {3:1--3:29},
year = {2014},
url = {https://doi.org/10.1145/2490818},
doi = {10.1145/2490818},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BonchiBHPRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonchiGM14,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
title = {A General Theory of Barbs, Contexts, and Labels},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {35:1--35:27},
year = {2014},
url = {https://doi.org/10.1145/2631916},
doi = {10.1145/2631916},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BonchiGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BruttomessoGR14,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
title = {Quantifier-free interpolation in combinations of equality interpolating
theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {5:1--5:34},
year = {2014},
url = {https://doi.org/10.1145/2490253},
doi = {10.1145/2490253},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BruttomessoGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CarayolHS14,
author = {Arnaud Carayol and
Axel Haddad and
Olivier Serre},
title = {Randomization in Automata on Infinite Trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {24:1--24:33},
year = {2014},
url = {https://doi.org/10.1145/2629336},
doi = {10.1145/2629336},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/CarayolHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Chatterjee014,
author = {Krishnendu Chatterjee and
Laurent Doyen},
title = {Partial-Observation Stochastic Games: How to Win when Belief Fails},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {16:1--16:44},
year = {2014},
url = {https://doi.org/10.1145/2579821},
doi = {10.1145/2579821},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Chatterjee014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Chen14,
author = {Hubie Chen},
title = {On the complexity of existential positive queries},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {9:1--9:20},
year = {2014},
url = {https://doi.org/10.1145/2559946},
doi = {10.1145/2559946},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Chen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CreignouE014,
author = {Nadia Creignou and
Uwe Egly and
Johannes Schmidt},
title = {Complexity Classifications for Logic-Based Argumentation},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {19:1--19:20},
year = {2014},
url = {https://doi.org/10.1145/2629421},
doi = {10.1145/2629421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/CreignouE014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Duque14,
author = {David Fern{\'{a}}ndez{-}Duque},
title = {Non-finite axiomatizability of dynamic topological logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {4:1--4:18},
year = {2014},
url = {https://doi.org/10.1145/2489334},
doi = {10.1145/2489334},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Duque14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EisnerFH14,
author = {Cindy Eisner and
Dana Fisman and
John Havlicek},
title = {Safety and Liveness, Weakness and Strength, and the Underlying Topological
Relations},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {13:1--13:44},
year = {2014},
url = {https://doi.org/10.1145/2532440},
doi = {10.1145/2532440},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EisnerFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FengDY14,
author = {Yuan Feng and
Yuxin Deng and
Mingsheng Ying},
title = {Symbolic Bisimulation for Quantum Processes},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {14:1--14:32},
year = {2014},
url = {https://doi.org/10.1145/2579818},
doi = {10.1145/2579818},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/FengDY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FrigeriPS14,
author = {Achille Frigeri and
Liliana Pasquale and
Paola Spoletini},
title = {Fuzzy Time in Linear Temporal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {30:1--30:22},
year = {2014},
url = {https://doi.org/10.1145/2629606},
doi = {10.1145/2629606},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/FrigeriPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GollerL14,
author = {Stefan G{\"{o}}ller and
Anthony Widjaja Lin},
title = {Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite
Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {26:1--26:28},
year = {2014},
url = {https://doi.org/10.1145/2629679},
doi = {10.1145/2629679},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GollerL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KomosinskiKLU14,
author = {Maciej Komosinski and
Adam Kups and
Dorota Leszczynska{-}Jasion and
Mariusz Urbanski},
title = {Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance
Relation},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {28:1--28:20},
year = {2014},
url = {https://doi.org/10.1145/2629669},
doi = {10.1145/2629669},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KomosinskiKLU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MogaveroMPV14,
author = {Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
title = {Reasoning About Strategies: On the Model-Checking Problem},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {34:1--34:47},
year = {2014},
url = {https://doi.org/10.1145/2631917},
doi = {10.1145/2631917},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MogaveroMPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MolinaroSS14,
author = {Cristian Molinaro and
Amy Sliva and
V. S. Subrahmanian},
title = {Super-Solutions: Succinctly Representing Solutions in Abductive Annotated
Probabilistic Temporal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {18:1--18:35},
year = {2014},
url = {https://doi.org/10.1145/2627354},
doi = {10.1145/2627354},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MolinaroSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/PozaDHR14,
author = {Mar{\'{\i}}a Poza and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Julio Rubio},
title = {A Certified Reduction Strategy for Homological Image Processing},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {23:1--23:23},
year = {2014},
url = {https://doi.org/10.1145/2630789},
doi = {10.1145/2630789},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/PozaDHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/RiguzziS14,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {Terminating Evaluation of Logic Programs with Finite Three-Valued
Models},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {32:1--32:38},
year = {2014},
url = {https://doi.org/10.1145/2629337},
doi = {10.1145/2629337},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/RiguzziS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SchellhornDW14,
author = {Gerhard Schellhorn and
John Derrick and
Heike Wehrheim},
title = {A Sound and Complete Proof Technique for Linearizability of Concurrent
Data Structures},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {31:1--31:37},
year = {2014},
url = {https://doi.org/10.1145/2629496},
doi = {10.1145/2629496},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SchellhornDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SchmidtT14,
author = {Renate A. Schmidt and
Dmitry Tishkovsky},
title = {Using tableau to decide description logics with full role negation
and identity},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {7:1--7:31},
year = {2014},
url = {https://doi.org/10.1145/2559947},
doi = {10.1145/2559947},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/SchmidtT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Simmons14,
author = {Robert J. Simmons},
title = {Structural Focalization},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {21:1--21:33},
year = {2014},
url = {https://doi.org/10.1145/2629678},
doi = {10.1145/2629678},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Simmons14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SonPNS14,
author = {Tran Cao Son and
Enrico Pontelli and
Ngoc{-}Hieu Nguyen and
Chiaki Sakama},
title = {Formalizing Negotiations Using Logic Programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {12:1--12:30},
year = {2014},
url = {https://doi.org/10.1145/2526270},
doi = {10.1145/2526270},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SonPNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Tan14,
author = {Tony Tan},
title = {Extending two-variable logic on data trees with order on data values
and its automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {8:1--8:39},
year = {2014},
url = {https://doi.org/10.1145/2559945},
doi = {10.1145/2559945},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Tan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/YingLYF14,
author = {Mingsheng Ying and
Yangjia Li and
Nengkun Yu and
Yuan Feng},
title = {Model-Checking Linear-Time Properties of Quantum Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {22:1--22:31},
year = {2014},
url = {https://doi.org/10.1145/2629680},
doi = {10.1145/2629680},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/YingLYF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ZanardiniG14,
author = {Damiano Zanardini and
Samir Genaim},
title = {Inference of Field-Sensitive Reachability and Cyclicity},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {33:1--33:41},
year = {2014},
url = {https://doi.org/10.1145/2629478},
doi = {10.1145/2629478},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ZanardiniG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ZhangHD14,
author = {Lan Zhang and
Ullrich Hustadt and
Clare Dixon},
title = {A resolution calculus for the branching-time temporal logic {CTL}},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {10:1--10:38},
year = {2014},
url = {https://doi.org/10.1145/2529993},
doi = {10.1145/2529993},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ZhangHD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-01 05:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
