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/tocl19.bht:"
download as .bib file
@article{DBLP:journals/tocl/AlbertCJPR18,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Einar Broch Johnsen and
Violet Ka I Pun and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Parallel Cost Analysis},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {31:1--31:37},
year = {2018},
url = {https://doi.org/10.1145/3274278},
doi = {10.1145/3274278},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AlbertCJPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Ardeshir-Larijani18,
author = {Ebrahim Ardeshir{-}Larijani and
Simon J. Gay and
Rajagopal Nagarajan},
title = {Automated Equivalence Checking of Concurrent Quantum Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {28:1--28:32},
year = {2018},
url = {https://doi.org/10.1145/3231597},
doi = {10.1145/3231597},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Ardeshir-Larijani18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Bakel18,
author = {Steffen van Bakel},
title = {Characterisation of Normalisation Properties for {\(\lambda\)}{\(\mu\)}
using Strict Negated Intersection Types},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {3:1--3:47},
year = {2018},
url = {https://doi.org/10.1145/3149823},
doi = {10.1145/3149823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Bakel18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Berg18,
author = {Benno van den Berg},
title = {Path Categories and Propositional Identity Types},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {15:1--15:32},
year = {2018},
url = {https://doi.org/10.1145/3204492},
doi = {10.1145/3204492},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Berg18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BeyersdorffCMS18,
author = {Olaf Beyersdorff and
Leroy Chew and
Meena Mahajan and
Anil Shukla},
title = {Are Short Proofs Narrow? {QBF} Resolution Is \emph{Not} So Simple},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {1:1--1:26},
year = {2018},
url = {https://doi.org/10.1145/3157053},
doi = {10.1145/3157053},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BeyersdorffCMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BinnewiesZWS18,
author = {Sebastian Binnewies and
Zhiqiang Zhuang and
Kewen Wang and
Bela Stantic},
title = {Syntax-Preserving Belief Change Operators for Logic Programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {12:1--12:42},
year = {2018},
url = {https://doi.org/10.1145/3190783},
doi = {10.1145/3190783},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BinnewiesZWS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CiabattoniG18,
author = {Agata Ciabattoni and
Francesco A. Genco},
title = {Hypersequents and Systems of Rules: Embeddings and Applications},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {11:1--11:27},
year = {2018},
url = {https://doi.org/10.1145/3180075},
doi = {10.1145/3180075},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/CiabattoniG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CimattiGIRS18,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
title = {Incremental Linearization for Satisfiability and Verification Modulo
Nonlinear Arithmetic and Transcendental Functions},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {19:1--19:52},
year = {2018},
url = {https://doi.org/10.1145/3230639},
doi = {10.1145/3230639},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CimattiGIRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DimaMP18,
author = {Catalin Dima and
Bastien Maubert and
Sophie Pinchinat},
title = {Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {23:1--23:33},
year = {2018},
url = {https://doi.org/10.1145/3231596},
doi = {10.1145/3231596},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DimaMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FairweatherF18,
author = {Elliot Fairweather and
Maribel Fern{\'{a}}ndez},
title = {Typed Nominal Rewriting},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {6:1--6:46},
year = {2018},
url = {https://doi.org/10.1145/3161558},
doi = {10.1145/3161558},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/FairweatherF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GallF18,
author = {Daniel Gall and
Thom W. Fr{\"{u}}hwirth},
title = {An Operational Semantics for the Cognitive Architecture {ACT-R} and
Its Translation to Constraint Handling Rules},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {22:1--22:42},
year = {2018},
url = {https://doi.org/10.1145/3218818},
doi = {10.1145/3218818},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GallF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GarlikK18,
author = {Michal Garl{\'{\i}}k and
Leszek Aleksander Kolodziejczyk},
title = {Some Subsystems of Constant-Depth Frege with Parity},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {29:1--29:34},
year = {2018},
url = {https://doi.org/10.1145/3243126},
doi = {10.1145/3243126},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GarlikK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GorankoKR18,
author = {Valentin Goranko and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
title = {Game-Theoretic Semantics for Alternating-Time Temporal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {17:1--17:38},
year = {2018},
url = {https://doi.org/10.1145/3179998},
doi = {10.1145/3179998},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GorankoKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Guller18,
author = {Dusan Guller},
title = {Automated Deduction in G{\"{o}}del Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {18:1--18:28},
year = {2018},
url = {https://doi.org/10.1145/3218817},
doi = {10.1145/3218817},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Guller18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Hamano18,
author = {Masahiro Hamano},
title = {Geometry of Interaction for {MALL} via Hughes-Van Glabbeek Proof-Nets},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {25:1--25:38},
year = {2018},
url = {https://doi.org/10.1145/3234694},
doi = {10.1145/3234694},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Hamano18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Hannula18,
author = {Miika Hannula},
title = {Hierarchies in Inclusion Logic with Lax Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {16:1--16:23},
year = {2018},
url = {https://doi.org/10.1145/3204521},
doi = {10.1145/3204521},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Hannula18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HannulaKVV18,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema and
Heribert Vollmer},
title = {Complexity of Propositional Logics in Team Semantic},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {2:1--2:14},
year = {2018},
url = {https://doi.org/10.1145/3157054},
doi = {10.1145/3157054},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/HannulaKVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HouCGT18,
author = {Zhe Hou and
Ranald Clouston and
Rajeev Gor{\'{e}} and
Alwen Tiu},
title = {Modular Labelled Sequent Calculi for Abstract Separation Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {13:1--13:35},
year = {2018},
url = {https://doi.org/10.1145/3197383},
doi = {10.1145/3197383},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HouCGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HuangM18,
author = {Xiaowei Huang and
Ron van der Meyden},
title = {An Epistemic Strategy Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {26:1--26:45},
year = {2018},
url = {https://doi.org/10.1145/3233769},
doi = {10.1145/3233769},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HuangM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KhanP18,
author = {Md. Aquil Khan and
Vineeta Singh Patel},
title = {A Simple Modal Logic for Reasoning in Multigranulation Rough Set Model},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {30:1--30:23},
year = {2018},
url = {https://doi.org/10.1145/3274664},
doi = {10.1145/3274664},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KhanP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KieronskiT18,
author = {Emanuel Kieronski and
Lidia Tendera},
title = {Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive
Guards and Related Variants},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {8:1--8:34},
year = {2018},
url = {https://doi.org/10.1145/3174805},
doi = {10.1145/3174805},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KieronskiT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Lescanne18,
author = {Pierre Lescanne},
title = {Quantitative Aspects of Linear and Affine Closed Lambda Terms},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {9:1--9:18},
year = {2018},
url = {https://doi.org/10.1145/3173547},
doi = {10.1145/3173547},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Lescanne18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LiDJPZLC18,
author = {Yongjian Li and
Kaiqiang Duan and
David N. Jansen and
Jun Pang and
Lijun Zhang and
Yi Lv and
Shaowei Cai},
title = {An Automatic Proving Approach to Parameterized Verification},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {27:1--27:25},
year = {2018},
url = {https://doi.org/10.1145/3232164},
doi = {10.1145/3232164},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LiDJPZLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NeiderSM18,
author = {Daniel Neider and
Shambwaditya Saha and
P. Madhusudan},
title = {Compositional Synthesis of Piece-Wise Functions by Learning Classifiers},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {10:1--10:23},
year = {2018},
url = {https://doi.org/10.1145/3173545},
doi = {10.1145/3173545},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/NeiderSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NevenSST18,
author = {Frank Neven and
Nicole Schweikardt and
Fr{\'{e}}d{\'{e}}ric Servais and
Tony Tan},
title = {Finite-State Map-Reduce Computation and Relational Algebra Queries},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {14:1--14:37},
year = {2018},
url = {https://doi.org/10.1145/3197384},
doi = {10.1145/3197384},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NevenSST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/PakusaSS18,
author = {Wied Pakusa and
Svenja Schalth{\"{o}}fer and
Erkal Selman},
title = {Definability of Cai-F{\"{u}}rer-Immerman Problems in Choiceless
Polynomial Time},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {7:1--7:27},
year = {2018},
url = {https://doi.org/10.1145/3154456},
doi = {10.1145/3154456},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/PakusaSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Rabe18,
author = {Florian Rabe},
title = {A Modular Type Reconstruction Algorithm},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {24:1--24:43},
year = {2018},
url = {https://doi.org/10.1145/3234693},
doi = {10.1145/3234693},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Rabe18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/RouxPR18,
author = {St{\'{e}}phane Le Roux and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Minkowski Games},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {20:1--20:29},
year = {2018},
url = {https://doi.org/10.1145/3230741},
doi = {10.1145/3230741},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/RouxPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SchroderV18,
author = {Lutz Schr{\"{o}}der and
Yde Venema},
title = {Completeness of Flat Coalgebraic Fixpoint Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {4:1--4:34},
year = {2018},
url = {https://doi.org/10.1145/3157055},
doi = {10.1145/3157055},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/SchroderV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Seiller18,
author = {Thomas Seiller},
title = {Interaction Graphs: Non-Deterministic Automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {21:1--21:24},
year = {2018},
url = {https://doi.org/10.1145/3226594},
doi = {10.1145/3226594},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Seiller18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/TubellaG18,
author = {Andrea Aler Tubella and
Alessio Guglielmi},
title = {Subatomic Proof Systems: Splittable Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {5:1--5:33},
year = {2018},
url = {https://doi.org/10.1145/3173544},
doi = {10.1145/3173544},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/TubellaG18.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-28 09:38 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:
