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/tocl12.bht:"
download as .bib file
@article{DBLP:journals/tocl/AnalytiAD11,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio},
title = {MWeb: {A} principled framework for modular web rule bases and its
semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {17:1--17:46},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877723},
doi = {10.1145/1877714.1877723},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AnalytiAD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BaulandM0SSV11,
author = {Michael Bauland and
Martin Mundhenk and
Thomas Schneider and
Henning Schnoor and
Ilka Schnoor and
Heribert Vollmer},
title = {The tractability of model checking for {LTL:} The good, the bad, and
the ugly fragments},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {13:1--13:28},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877719},
doi = {10.1145/1877714.1877719},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BaulandM0SSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BergstraP11,
author = {Jan A. Bergstra and
Alban Ponse},
title = {Proposition algebra},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {3},
pages = {21:1--21:36},
year = {2011},
url = {https://doi.org/10.1145/1929954.1929958},
doi = {10.1145/1929954.1929958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BergstraP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BlassG11,
author = {Andreas Blass and
Yuri Gurevich},
title = {Persistent queries in the behavioral theory of algorithms},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {16:1--16:43},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877722},
doi = {10.1145/1877714.1877722},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BlassG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BojanczykDMSS11,
author = {Mikolaj Bojanczyk and
Claire David and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
title = {Two-variable logic on data words},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {27:1--27:26},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970403},
doi = {10.1145/1970398.1970403},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BojanczykDMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BruijnEPT11,
author = {Jos de Bruijn and
Thomas Eiter and
Axel Polleres and
Hans Tompits},
title = {Embedding nonground logic programs into autoepistemic logic for knowledge-base
combination},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {3},
pages = {20:1--20:39},
year = {2011},
url = {https://doi.org/10.1145/1929954.1929957},
doi = {10.1145/1929954.1929957},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BruijnEPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Bulatov11,
author = {Andrei A. Bulatov},
title = {Complexity of conservative constraint satisfaction problems},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {24:1--24:66},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970400},
doi = {10.1145/1970398.1970400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Bulatov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChatterjeeAH11,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Qualitative concurrent parity games},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {28:1--28:51},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970404},
doi = {10.1145/1970398.1970404},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ChatterjeeAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EiterILS11,
author = {Thomas Eiter and
Giovambattista Ianni and
Thomas Lukasiewicz and
Roman Schindlauer},
title = {Well-founded semantics for description logic programs in the semantic
web},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {11:1--11:41},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877717},
doi = {10.1145/1877714.1877717},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EiterILS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Ferraris11,
author = {Paolo Ferraris},
title = {Logic programs with propositional connectives and aggregates},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {25:1--25:40},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970401},
doi = {10.1145/1970398.1970401},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Ferraris11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GasconGS11,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Guillem Godoy and
Manfred Schmidt{-}Schau{\ss}},
title = {Unification and matching on compressed terms},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {26:1--26:37},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970402},
doi = {10.1145/1970398.1970402},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GasconGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GurevichN11,
author = {Yuri Gurevich and
Itay Neeman},
title = {Logic of infons: The propositional case},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {9:1--9:28},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877715},
doi = {10.1145/1877714.1877715},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GurevichN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/JurdzinskiL11,
author = {Marcin Jurdzinski and
Ranko Lazic},
title = {Alternating automata on data trees and XPath satisfiability},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {3},
pages = {19:1--19:21},
year = {2011},
url = {https://doi.org/10.1145/1929954.1929956},
doi = {10.1145/1929954.1929956},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/JurdzinskiL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KhanB11,
author = {Md. Aquil Khan and
Mohua Banerjee},
title = {Logics for information systems and their dynamic extensions},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {29:1--29:36},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970405},
doi = {10.1145/1970398.1970405},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/KhanB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Lazic11,
author = {Ranko Lazic},
title = {Safety alternating automata on data words},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {10:1--10:24},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877716},
doi = {10.1145/1877714.1877716},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Lazic11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NielsonNN11,
author = {Flemming Nielson and
Sebastian Nanz and
Hanne Riis Nielson},
title = {Modal abstractions of concurrent behavior},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {3},
pages = {18:1--18:40},
year = {2011},
url = {https://doi.org/10.1145/1929954.1929955},
doi = {10.1145/1929954.1929955},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NielsonNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SantoP11,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Lu{\'{\i}}s Pinto},
title = {A calculus of multiary sequent terms},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {3},
pages = {22:1--22:41},
year = {2011},
url = {https://doi.org/10.1145/1929954.1929959},
doi = {10.1145/1929954.1929959},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/SantoP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ShakarianPSS11,
author = {Paulo Shakarian and
Austin Parker and
Gerardo I. Simari and
V. S. Subrahmanian},
title = {Annotated probabilistic temporal logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {14:1--14:44},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877720},
doi = {10.1145/1877714.1877720},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ShakarianPSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/StrassburgerG11,
author = {Lutz Stra{\ss}burger and
Alessio Guglielmi},
title = {A system of interaction and structure {IV:} The exponentials and decomposition},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {23:1--23:39},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970399},
doi = {10.1145/1970398.1970399},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/StrassburgerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Szeider11,
author = {Stefan Szeider},
title = {Monadic second order logic on graphs with local cardinality constraints},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {12:1--12:21},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877718},
doi = {10.1145/1877714.1877718},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Szeider11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/UrbanCB11,
author = {Christian Urban and
James Cheney and
Stefan Berghofer},
title = {Mechanizing the metatheory of {LF}},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {15:1--15:42},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877721},
doi = {10.1145/1877714.1877721},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/UrbanCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BillingtonAGM10,
author = {David Billington and
Grigoris Antoniou and
Guido Governatori and
Michael J. Maher},
title = {An inclusion theorem for defeasible logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {6:1--6:27},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838558},
doi = {10.1145/1838552.1838558},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BillingtonAGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BistarelliMRS10,
author = {Stefano Bistarelli and
Ugo Montanari and
Francesca Rossi and
Francesco Santini},
title = {Unicast and multicast QoS routing with soft-constraint logic programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {5:1--5:48},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838557},
doi = {10.1145/1838552.1838557},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BistarelliMRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChadhaV10,
author = {Rohit Chadha and
Mahesh Viswanathan},
title = {A counterexample-guided abstraction-refinement framework for markov
decision processes},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {1:1--1:49},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838553},
doi = {10.1145/1838552.1838553},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ChadhaV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CimattiGS10,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
title = {Efficient generation of craig interpolants in satisfiability modulo
theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {7:1--7:54},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838559},
doi = {10.1145/1838552.1838559},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CimattiGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FuriaR10,
author = {Carlo A. Furia and
Matteo Rossi},
title = {A theory of sampling for continuous-time metric temporal logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {8:1--8:40},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838560},
doi = {10.1145/1838552.1838560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/FuriaR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GalesiL10,
author = {Nicola Galesi and
Massimo Lauria},
title = {Optimality of size-degree tradeoffs for polynomial calculus},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {4:1--4:22},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838556},
doi = {10.1145/1838552.1838556},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GalesiL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GottlobPW10,
author = {Georg Gottlob and
Reinhard Pichler and
Fang Wei},
title = {Monadic datalog over finite structures of bounded treewidth},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {3:1--3:48},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838555},
doi = {10.1145/1838552.1838555},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GottlobPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LegayW10,
author = {Axel Legay and
Pierre Wolper},
title = {On (Omega-)regular model checking},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {2:1--2:46},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838554},
doi = {10.1145/1838552.1838554},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LegayW10.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-23 19:41 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:
