Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tocl/tocl15.bht:"
@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} }
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.