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/tocl14.bht:"
download as .bib file
@article{DBLP:journals/tocl/AlbertGM13,
author = {Elvira Albert and
Samir Genaim and
Abu Naser Masud},
title = {On the Inference of Resource Usage Upper and Lower Bounds},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {22:1--22:35},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499943},
doi = {10.1145/2499937.2499943},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlbertGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlferesKS13,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Matthias Knorr and
Terrance Swift},
title = {Query-Driven Procedures for Hybrid {MKNF} Knowledge Bases},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {16:1--16:43},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480768},
doi = {10.1145/2480759.2480768},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlferesKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BaudetCD13,
author = {Mathieu Baudet and
V{\'{e}}ronique Cortier and
St{\'{e}}phanie Delaune},
title = {{YAPA:} {A} Generic Tool for Computing Intruder Knowledge},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {4:1--4:32},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422089},
doi = {10.1145/2422085.2422089},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BaudetCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BetzF13,
author = {Hariolf Betz and
Thom W. Fr{\"{u}}hwirth},
title = {Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {1:1--1:37},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422086},
doi = {10.1145/2422085.2422086},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BetzF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BeyersdorffGL13,
author = {Olaf Beyersdorff and
Nicola Galesi and
Massimo Lauria},
title = {Parameterized Complexity of {DPLL} Search Procedures},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {20:1--20:21},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499941},
doi = {10.1145/2499937.2499941},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BeyersdorffGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BodirskyMT13,
author = {Manuel Bodirsky and
H. Dugald Macpherson and
Johan Thapper},
title = {Constraint satisfaction tractability from semi-lattice operations
on infinite sets},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {30:1--30:19},
year = {2013},
url = {https://doi.org/10.1145/2528933},
doi = {10.1145/2528933},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BodirskyMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonsangueMS13,
author = {Marcello M. Bonsangue and
Stefan Milius and
Alexandra Silva},
title = {Sound and Complete Axiomatizations of Coalgebraic Language Equivalence},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {7:1--7:52},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422092},
doi = {10.1145/2422085.2422092},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BonsangueMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CharalambidisHRW13,
author = {Angelos Charalambidis and
Konstantinos Handjopoulos and
Panagiotis Rondogiannis and
William W. Wadge},
title = {Extensional Higher-Order Logic Programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {21:1--21:40},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499942},
doi = {10.1145/2499937.2499942},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/CharalambidisHRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChenDKM13,
author = {Taolue Chen and
Marco Diciolla and
Marta Z. Kwiatkowska and
Alexandru Mereacre},
title = {Verification of linear duration properties over continuous-time markov
chains},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {33:1--33:35},
year = {2013},
url = {https://doi.org/10.1145/2528935},
doi = {10.1145/2528935},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ChenDKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChenJL13,
author = {Xiaoping Chen and
Jianmin Ji and
Fangzhen Lin},
title = {Computing Loops with at Most One External Support Rule},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {3:1--3:34},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422088},
doi = {10.1145/2422085.2422088},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ChenJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DanvyZ13,
author = {Olivier Danvy and
Ian Zerny},
title = {Three syntactic theories for combinatory graph reduction},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {29:1--29:27},
year = {2013},
url = {https://doi.org/10.1145/2528932},
doi = {10.1145/2528932},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DanvyZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DelgrandeSTW13,
author = {James P. Delgrande and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
title = {A Model-Theoretic Approach to Belief Change in Answer Set Programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {14:1--14:46},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480766},
doi = {10.1145/2480759.2480766},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DelgrandeSTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DyckhoffST13,
author = {Roy Dyckhoff and
Mehrnoosh Sadrzadeh and
Julien Truffaut},
title = {Algebra, proof theory and applications for an intuitionistic logic
of propositions, actions and adjoint modal operators},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {34:1--34:37},
year = {2013},
url = {https://doi.org/10.1145/2536740.2536742},
doi = {10.1145/2536740.2536742},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DyckhoffST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EchenimP13,
author = {Mnacho Echenim and
Nicolas Peltier},
title = {Instantiation Schemes for Nested Theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {11:1--11:34},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480763},
doi = {10.1145/2480759.2480763},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EchenimP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GaintzarainL13,
author = {Jose Gaintzarain and
Paqui Lucio},
title = {Logical foundations for more expressive declarative temporal logic
programming languages},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {28:1--28:41},
year = {2013},
url = {https://doi.org/10.1145/2528931},
doi = {10.1145/2528931},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GaintzarainL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GastinS13,
author = {Paul Gastin and
Nathalie Sznajder},
title = {Fair Synthesis for Asynchronous Distributed Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {9:1--9:31},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480761},
doi = {10.1145/2480759.2480761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GastinS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GebserS13,
author = {Martin Gebser and
Torsten Schaub},
title = {Tableau Calculi for Logic Programs under Answer Set Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {15:1--15:40},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480767},
doi = {10.1145/2480759.2480767},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GebserS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HerasCMS13,
author = {J{\'{o}}nathan Heras and
Thierry Coquand and
Anders M{\"{o}}rtberg and
Vincent Siles},
title = {Computing persistent homology within Coq/SSReflect},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {26:1--26:16},
year = {2013},
url = {https://doi.org/10.1145/2528929},
doi = {10.1145/2528929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HerasCMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HerzigLM13,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Propositional Update Operators Based on Formula/Literal Dependence},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {24:1--24:31},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499945},
doi = {10.1145/2499937.2499945},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/HerzigLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Kartzow13,
author = {Alexander Kartzow},
title = {First-Order Logic on Higher-Order Nested Pushdown Trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {8:1--8:45},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480760},
doi = {10.1145/2480759.2480760},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Kartzow13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KazanaS13,
author = {Wojciech Kazana and
Luc Segoufin},
title = {Enumeration of monadic second-order queries on trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {25:1--25:12},
year = {2013},
url = {https://doi.org/10.1145/2528928},
doi = {10.1145/2528928},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/KazanaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KetemaS13,
author = {Jeroen Ketema and
Jakob Grue Simonsen},
title = {Least upper bounds on the size of confluence and church-rosser diagrams
in term rewriting and {\(\lambda\)}-calculus},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {31:1--31:28},
year = {2013},
url = {https://doi.org/10.1145/2528934},
doi = {10.1145/2528934},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/KetemaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KontchakovNPZ13,
author = {Roman Kontchakov and
Yavor Nenov and
Ian Pratt{-}Hartmann and
Michael Zakharyaschev},
title = {Topological Logics with Connectedness over Euclidean Spaces},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {13:1--13:48},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480765},
doi = {10.1145/2480759.2480765},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KontchakovNPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KrotzschRH13,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Pascal Hitzler},
title = {Complexities of Horn Description Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {2:1--2:36},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422087},
doi = {10.1145/2422085.2422087},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/KrotzschRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LahavA13,
author = {Ori Lahav and
Arnon Avron},
title = {A unified semantic framework for fully structural propositional sequent
systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {27:1--27:33},
year = {2013},
url = {https://doi.org/10.1145/2528930},
doi = {10.1145/2528930},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/LahavA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Larchey-WendlingG13,
author = {Dominique Larchey{-}Wendling and
Didier Galmiche},
title = {Nondeterministic Phase Semantics and the Undecidability of Boolean
{BI}},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {6:1--6:41},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422091},
doi = {10.1145/2422085.2422091},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Larchey-WendlingG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/McKinley13,
author = {Richard McKinley},
title = {Proof Nets for Herbrand's Theorem},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {5:1--5:31},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422090},
doi = {10.1145/2422085.2422090},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/McKinley13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Praveen13,
author = {M. Praveen},
title = {Does Treewidth Help in Modal Satisfiability?},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {18:1--18:32},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499939},
doi = {10.1145/2499937.2499939},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Praveen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/RabeS13,
author = {Florian Rabe and
Kristina Sojakova},
title = {Logical relations for a logical framework},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {32:1--32:34},
year = {2013},
url = {https://doi.org/10.1145/2536740.2536741},
doi = {10.1145/2536740.2536741},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/RabeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ShakarianBSM13,
author = {Paulo Shakarian and
Matthias Broecheler and
V. S. Subrahmanian and
Cristian Molinaro},
title = {Using Generalized Annotated Programs to Solve Social Network Diffusion
Optimization Problems},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {10:1--10:40},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480762},
doi = {10.1145/2480759.2480762},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ShakarianBSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SietsmaA13,
author = {Floor Sietsma and
Krzysztof R. Apt},
title = {Common Knowledge in Email Exchanges},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {23:1--23:23},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499944},
doi = {10.1145/2499937.2499944},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SietsmaA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SimariDSS13,
author = {Gerardo I. Simari and
John P. Dickerson and
Amy Sliva and
V. S. Subrahmanian},
title = {Parallel Abductive Query Answering in Probabilistic Logic Programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {2},
pages = {12:1--12:39},
year = {2013},
url = {https://doi.org/10.1145/2480759.2480764},
doi = {10.1145/2480759.2480764},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SimariDSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Tan13,
author = {Tony Tan},
title = {Graph Reachability and Pebble Automata over Infinite Alphabets},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {19:1--19:31},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499940},
doi = {10.1145/2499937.2499940},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Tan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/WittocxDB13,
author = {Johan Wittocx and
Marc Denecker and
Maurice Bruynooghe},
title = {Constraint Propagation for First-Order Logic and Inductive Definitions},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {17:1--17:45},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499938},
doi = {10.1145/2499937.2499938},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/WittocxDB13.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-04-26 04:37 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:
