Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "undecidability result"
download as .bib file
@article{DBLP:journals/apal/Kartas23,
author = {Konstantinos Kartas},
title = {An undecidability result for the asymptotic theory of \emph{p}-adic
fields},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {2},
pages = {103203},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2022.103203},
doi = {10.1016/J.APAL.2022.103203},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kartas23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EchenimP23,
author = {Mnacho Echenim and
Nicolas Peltier},
title = {An undecidability result for Separation Logic with theory reasoning},
journal = {Inf. Process. Lett.},
volume = {182},
pages = {106359},
year = {2023},
url = {https://doi.org/10.1016/j.ipl.2023.106359},
doi = {10.1016/J.IPL.2023.106359},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EchenimP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-05595,
author = {Halley Young},
title = {Undecidability Results and Their Relevance in Modern Music Making},
journal = {CoRR},
volume = {abs/2309.05595},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.05595},
doi = {10.48550/ARXIV.2309.05595},
eprinttype = {arXiv},
eprint = {2309.05595},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-05595.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/Malcher20,
author = {Andreas Malcher},
title = {Hierarchies and undecidability results for iterative arrays with sparse
communication},
journal = {Nat. Comput.},
volume = {19},
number = {4},
pages = {797--809},
year = {2020},
url = {https://doi.org/10.1007/s11047-019-09773-3},
doi = {10.1007/S11047-019-09773-3},
timestamp = {Sat, 07 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/Malcher20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Malcher18,
author = {Andreas Malcher},
editor = {Jan M. Baetens and
Martin Kutrib},
title = {Hierarchies and Undecidability Results for Iterative Arrays with Sparse
Communication},
booktitle = {Cellular Automata and Discrete Complex Systems - 24th {IFIP} {WG}
1.5 International Workshop, {AUTOMATA} 2018, Ghent, Belgium, June
20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10875},
pages = {100--112},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92675-9\_8},
doi = {10.1007/978-3-319-92675-9\_8},
timestamp = {Mon, 05 Feb 2024 20:35:13 +0100},
biburl = {https://dblp.org/rec/conf/automata/Malcher18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Fijalkow17,
author = {Nathana{\"{e}}l Fijalkow},
title = {Undecidability results for probabilistic automata},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {10--17},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157833},
doi = {10.1145/3157831.3157833},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Fijalkow17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Rudolph16,
author = {Sebastian Rudolph},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Undecidability Results for Database-Inspired Reasoning Problems in
Very Expressive Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {247--257},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12787},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Rudolph16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Ody15,
author = {Heinrich Ody},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Undecidability Results for Multi-Lane Spatial Logic},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {404--421},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_24},
doi = {10.1007/978-3-319-25150-9\_24},
timestamp = {Sat, 19 Oct 2019 20:17:56 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Ody15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KrishnaMT14a,
author = {Shankara Narayanan Krishna and
Lakshmi Manasa and
Ashutosh Trivedi},
editor = {Adriano Peron and
Carla Piazza},
title = {Improved Undecidability Results for Reachability Games on Recursive
Timed Automata},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {245--259},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.21},
doi = {10.4204/EPTCS.161.21},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KrishnaMT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AravantinosCP14,
author = {Vincent Aravantinos and
Ricardo Caferra and
Nicolas Peltier},
title = {Decidability and Undecidability Results for Propositional Schemata},
journal = {CoRR},
volume = {abs/1401.3900},
year = {2014},
url = {http://arxiv.org/abs/1401.3900},
eprinttype = {arXiv},
eprint = {1401.3900},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AravantinosCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BelkB14,
author = {James Belk and
Collin Bleak},
title = {Some undecidability results for asynchronous transducers and the Brin-Thompson
group 2V},
journal = {CoRR},
volume = {abs/1405.0982},
year = {2014},
url = {http://arxiv.org/abs/1405.0982},
eprinttype = {arXiv},
eprint = {1405.0982},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BelkB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/Csoka12,
author = {Endre Cs{\'{o}}ka},
title = {An Undecidability Result on Limits of Sparse Graphs},
journal = {Electron. J. Comb.},
volume = {19},
number = {2},
pages = {21},
year = {2012},
url = {https://doi.org/10.37236/2340},
doi = {10.37236/2340},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/Csoka12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BordihnKM11,
author = {Henning Bordihn and
Martin Kutrib and
Andreas Malcher},
title = {Undecidability and Hierarchy Results for Parallel Communicating Finite
Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {7},
pages = {1577--1592},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008891},
doi = {10.1142/S0129054111008891},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BordihnKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AravantinosCP11,
author = {Vincent Aravantinos and
Ricardo Caferra and
Nicolas Peltier},
title = {Decidability and Undecidability Results for Propositional Schemata},
journal = {J. Artif. Intell. Res.},
volume = {40},
pages = {599--656},
year = {2011},
url = {https://doi.org/10.1613/jair.3351},
doi = {10.1613/JAIR.3351},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/AravantinosCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarcinkowskiM11,
author = {Jerzy Marcinkowski and
Jakub Michaliszyn},
title = {The Ultimate Undecidability Result for the Halpern-Shoham Logic},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {377--386},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.21},
doi = {10.1109/LICS.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarcinkowskiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CosmadakisFS10,
author = {Stavros S. Cosmadakis and
Eug{\'{e}}nie Foustoucos and
Anastasios Sidiropoulos},
title = {Undecidability and intractability results concerning datalog programs
and their persistency numbers},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {2},
pages = {12:1--12:29},
year = {2010},
url = {https://doi.org/10.1145/1656242.1656247},
doi = {10.1145/1656242.1656247},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CosmadakisFS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChatterjeeH10,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Probabilistic Automata on Infinite Words: Decidability and Undecidability
Results},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {1--16},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_1},
doi = {10.1007/978-3-642-15643-4\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChatterjeeH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BordihnKM10,
author = {Henning Bordihn and
Martin Kutrib and
Andreas Malcher},
editor = {Yuan Gao and
Hanlin Lu and
Shinnosuke Seki and
Sheng Yu},
title = {Undecidability and Hierarchy Results for Parallel Communicating Finite
Automata},
booktitle = {Developments in Language Theory, 14th International Conference, {DLT}
2010, London, ON, Canada, August 17-20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6224},
pages = {88--99},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14455-4\_10},
doi = {10.1007/978-3-642-14455-4\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BordihnKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GoyetHT10,
author = {Alexis Goyet and
Masami Hagiya and
Yoshinori Tanabe},
editor = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Decidability and Undecidability Results on the Modal \emph{{\(\mathrm{\mu}\)}}-Calculus
with a Natural Number-Valued Semantics},
booktitle = {Logic, Language, Information and Computation, 17th International Workshop,
WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6188},
pages = {148--160},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13824-9\_13},
doi = {10.1007/978-3-642-13824-9\_13},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GoyetHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-0143,
author = {Alexandru Sofronia and
Alexandru Popa and
Gheorghe Stefanescu},
title = {Undecidability Results for Finite Interactive Systems},
journal = {CoRR},
volume = {abs/1001.0143},
year = {2010},
url = {http://arxiv.org/abs/1001.0143},
eprinttype = {arXiv},
eprint = {1001.0143},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-0143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BouyerHR09,
author = {Patricia Bouyer and
Serge Haddad and
Pierre{-}Alain Reynier},
title = {Undecidability Results for Timed Automata with Silent Transitions},
journal = {Fundam. Informaticae},
volume = {92},
number = {1-2},
pages = {1--25},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0063},
doi = {10.3233/FI-2009-0063},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BouyerHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Giro09,
author = {Sergio Giro},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Undecidability Results for Distributed Probabilistic Systems},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {220--235},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_15},
doi = {10.1007/978-3-642-10452-7\_15},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/Giro09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/SofroniaPS08,
author = {Alexandru Sofronia and
Alexandru Popa and
Gheorghe Stefanescu},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Undecidability Results for Finite Interactive Systems},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {366--369},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.42},
doi = {10.1109/SYNASC.2008.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/SofroniaPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Verma12,
author = {Rakesh M. Verma},
editor = {G{\"{u}}nter Kniesel and
Jorge Sousa Pinto},
title = {New Undecidability Results for Properties of Term Rewrite Systems},
booktitle = {Ninth International Workshop on Rule-Based Programming, {RULE} 2008,
Hagenberg, Austria, July 14-18, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {290},
pages = {69--85},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2012.11.012},
doi = {10.1016/J.ENTCS.2012.11.012},
timestamp = {Fri, 25 Nov 2022 14:52:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Verma12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HalavaH07,
author = {Vesa Halava and
Mika Hirvensalo},
title = {Improved matrix pair undecidability results},
journal = {Acta Informatica},
volume = {44},
number = {3-4},
pages = {191--205},
year = {2007},
url = {https://doi.org/10.1007/s00236-007-0047-y},
doi = {10.1007/S00236-007-0047-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HalavaH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaazCF07,
author = {Matthias Baaz and
Agata Ciabattoni and
Christian G. Ferm{\"{u}}ller},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Monadic Fragments of G{\"{o}}del Logics: Decidability and Undecidability
Results},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {77--91},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_8},
doi = {10.1007/978-3-540-75560-9\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaazCF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Hirvensalo07,
author = {Mika Hirvensalo},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Improved Undecidability Results on the Emptiness Problem of Probabilistic
and Quantum Cut-Point Languages},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {309--319},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_25},
doi = {10.1007/978-3-540-69507-3\_25},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Hirvensalo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Deneux06,
author = {Johann Deneux},
title = {Verification of Parameterized and Timed Systems : Undecidability Results
and Efficient Methods},
school = {Uppsala University, Sweden},
year = {2006},
url = {https://nbn-resolving.org/urn:nbn:se:uu:diva-6891},
urn = {urn:nbn:se:uu:diva-6891},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Deneux06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Artale06,
author = {Alessandro Artale},
title = {Reasoning on temporal class diagrams: Undecidability results},
journal = {Ann. Math. Artif. Intell.},
volume = {46},
number = {3},
pages = {265--288},
year = {2006},
url = {https://doi.org/10.1007/s10472-006-9019-0},
doi = {10.1007/S10472-006-9019-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Artale06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BouyerBM06,
author = {Patricia Bouyer and
Thomas Brihaye and
Nicolas Markey},
title = {Improved undecidability results on weighted timed automata},
journal = {Inf. Process. Lett.},
volume = {98},
number = {5},
pages = {188--194},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.01.012},
doi = {10.1016/J.IPL.2006.01.012},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/BouyerBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Delaune06,
author = {St{\'{e}}phanie Delaune},
title = {An undecidability result for AGh},
journal = {Theor. Comput. Sci.},
volume = {368},
number = {1-2},
pages = {161--167},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.018},
doi = {10.1016/J.TCS.2006.08.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Delaune06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BonacinaGNRZ06,
author = {Maria Paola Bonacina and
Silvio Ghilardi and
Enrica Nicolini and
Silvio Ranise and
Daniele Zucchelli},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based
Decision Procedures},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {513--527},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_42},
doi = {10.1007/11814771\_42},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BonacinaGNRZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JancarS06,
author = {Petr Jancar and
Jir{\'{\i}} Srba},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Undecidability Results for Bisimilarity on Prefix Rewrite Systems},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {277--291},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_19},
doi = {10.1007/11690634\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JancarS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/Gamarnik02,
author = {David Gamarnik},
title = {Computing stationary probability distributions and large deviation
rates for constrained random walks.: the undecidability results},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {30},
number = {3},
pages = {38--40},
year = {2002},
url = {https://doi.org/10.1145/605521.605536},
doi = {10.1145/605521.605536},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/Gamarnik02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kim02,
author = {Changwook Kim},
title = {Two undecidability results for chain code picture languages},
journal = {Theor. Comput. Sci.},
volume = {270},
number = {1-2},
pages = {969--976},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00195-5},
doi = {10.1016/S0304-3975(01)00195-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kim02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Helmert02,
author = {Malte Helmert},
editor = {Malik Ghallab and
Joachim Hertzberg and
Paolo Traverso},
title = {Decidability and Undecidability Results for Planning with Numerical
State Variables},
booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
Planning Systems, April 23-27, 2002, Toulouse, France},
pages = {44--53},
publisher = {{AAAI}},
year = {2002},
url = {http://www.aaai.org/Library/AIPS/2002/aips02-005.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Helmert02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/Helmert02,
author = {Malte Helmert},
editor = {J{\"{u}}rgen Sauer},
title = {Decidability and Undecidability Results for Planning with Numerical
State Variables},
booktitle = {Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg,
10./ 11.10.2002},
year = {2002},
url = {http://www.puk-workshop.de/puk2002/papers/helmert.pdf},
timestamp = {Fri, 27 Nov 2020 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/puk/Helmert02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Wessel01,
author = {Michael Wessel},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Obstacles on the Way to Qualitative Spatial Reasoning with Description
Logics: Some Undecidability Results},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/Wessel-122start.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Wessel01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HalavaH01,
author = {Vesa Halava and
Tero Harju},
editor = {Werner Kuich and
Grzegorz Rozenberg and
Arto Salomaa},
title = {An Undecidability Result Concerning Periodic Morphisms},
booktitle = {Developments in Language Theory, 5th International Conference, {DLT}
2001, Vienna, Austria, July 16-21, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2295},
pages = {304--310},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46011-X\_26},
doi = {10.1007/3-540-46011-X\_26},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HalavaH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Watjen00,
author = {Dietmar W{\"{a}}tjen},
title = {Undecidability Results for Uniformly k-Limited 0L Systems},
journal = {J. Autom. Lang. Comb.},
volume = {5},
number = {2},
pages = {159--167},
year = {2000},
url = {https://doi.org/10.25596/jalc-2000-159},
doi = {10.25596/JALC-2000-159},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Watjen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DowneyN00,
author = {Rodney G. Downey and
Andr{\'{e}} Nies},
title = {Undecidability Results for Low Complexity Time Classes},
journal = {J. Comput. Syst. Sci.},
volume = {60},
number = {2},
pages = {465--479},
year = {2000},
url = {https://doi.org/10.1006/jcss.1999.1678},
doi = {10.1006/JCSS.1999.1678},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DowneyN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KatsuraKO00,
author = {Masashi Katsura and
Yuji Kobayashi and
Friedrich Otto},
editor = {D. T. Lee and
Shang{-}Hua Teng},
title = {Undecidability Results for Monoids with Linear-Time Decidable Word
Problems},
booktitle = {Algorithms and Computation, 11th International Conference, {ISAAC}
2000, Taipei, Taiwan, December 18-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1969},
pages = {278--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40996-3\_24},
doi = {10.1007/3-540-40996-3\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KatsuraKO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/hcat/Hartmanis00,
author = {Juris Hartmanis},
editor = {Arto Salomaa and
Derick Wood and
Sheng Yu},
title = {Undecidability and Incompleteness Results in Automata Theory},
booktitle = {A Half-Century of Automata Theory: Celebration and Inspiration},
pages = {21--35},
publisher = {World Scientific},
year = {2000},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/hcat/Hartmanis00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GradelOR99,
author = {Erich Gr{\"{a}}del and
Martin Otto and
Eric Rosen},
title = {Undecidability results on two-variable logics},
journal = {Arch. Math. Log.},
volume = {38},
number = {4-5},
pages = {313--354},
year = {1999},
url = {https://doi.org/10.1007/s001530050130},
doi = {10.1007/S001530050130},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GradelOR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/MazoyerR99,
author = {Jacques Mazoyer and
Ivan Rapaport},
title = {Global fixed point attractors of circular cellular automata and periodic
tilings of the plane: Undecidability results},
journal = {Discret. Math.},
volume = {199},
number = {1-3},
pages = {103--122},
year = {1999},
url = {https://doi.org/10.1016/S0012-365X(98)00203-9},
doi = {10.1016/S0012-365X(98)00203-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/MazoyerR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Kirsten99,
author = {Daniel Kirsten},
editor = {Christoph Meinel and
Sophie Tison},
title = {Some Undecidability Results Related to the Star Problem in Trace Monoids},
booktitle = {{STACS} 99, 16th Annual Symposium on Theoretical Aspects of Computer
Science, Trier, Germany, March 4-6, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1563},
pages = {227--236},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49116-3\_21},
doi = {10.1007/3-540-49116-3\_21},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Kirsten99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Boffa98,
author = {Maurice Boffa},
title = {More on an Undecidability Result of Bateman, Jockusch and Woods},
journal = {J. Symb. Log.},
volume = {63},
number = {1},
pages = {50},
year = {1998},
url = {https://doi.org/10.2307/2586585},
doi = {10.2307/2586585},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Boffa98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Otto98,
author = {Friedrich Otto},
title = {Some Undecidability Results Concerning the Property of Preserving
Regularity},
journal = {Theor. Comput. Sci.},
volume = {207},
number = {1},
pages = {43--72},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(98)00055-3},
doi = {10.1016/S0304-3975(98)00055-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Otto98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BaileyDR98,
author = {James Bailey and
Guozhu Dong and
Kotagiri Ramamohanarao},
editor = {Alberto O. Mendelzon and
Jan Paredaens},
title = {Decidability and Undecidability Results for the Termination Problem
of Active Database Rules},
booktitle = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
{USA}},
pages = {264--273},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/275487.275517},
doi = {10.1145/275487.275517},
timestamp = {Tue, 16 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BaileyDR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MadlenerO97,
author = {Klaus Madlener and
Friedrich Otto},
title = {Some Undecidability Results for Finitely Generated Thue Congruences
on aTwo-Letter Alphabet},
journal = {Fundam. Informaticae},
volume = {30},
number = {1},
pages = {31--44},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-30103},
doi = {10.3233/FI-1997-30103},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MadlenerO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/DowneyN97,
author = {Rodney G. Downey and
Andr{\'{e}} Nies},
title = {Undecidability Results for Low Complexity Degree Structures},
booktitle = {Proceedings of the Twelfth Annual {IEEE} Conference on Computational
Complexity, Ulm, Germany, June 24-27, 1997},
pages = {128--132},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CCC.1997.612308},
doi = {10.1109/CCC.1997.612308},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/DowneyN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GradelOR97,
author = {Erich Gr{\"{a}}del and
Martin Otto and
Eric Rosen},
editor = {R{\"{u}}diger Reischuk and
Michel Morvan},
title = {Undecidability Results on Two-Variable Logics},
booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1200},
pages = {249--260},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0023464},
doi = {10.1007/BFB0023464},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GradelOR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SpilkerW96,
author = {Heike Spilker and
Dietmar W{\"{a}}tjen},
title = {Some Undecidability Results Concerning k-limited 0L Systems},
journal = {Fundam. Informaticae},
volume = {26},
number = {1},
pages = {23--30},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-2613},
doi = {10.3233/FI-1996-2613},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SpilkerW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Jedrzejowicz96,
author = {Joanna Jedrzejowicz},
title = {Undecidability Results for Shuffle Languages},
journal = {J. Autom. Lang. Comb.},
volume = {1},
number = {2},
pages = {147--159},
year = {1996},
url = {https://doi.org/10.25596/jalc-1996-147},
doi = {10.25596/JALC-1996-147},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Jedrzejowicz96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ErolNS95,
author = {Kutluhan Erol and
Dana S. Nau and
V. S. Subrahmanian},
title = {Complexity, Decidability and Undecidability Results for Domain-Independent
Planning},
journal = {Artif. Intell.},
volume = {76},
number = {1-2},
pages = {75--88},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(94)00080-K},
doi = {10.1016/0004-3702(94)00080-K},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ErolNS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Schlipf95,
author = {John S. Schlipf},
title = {Complexity and Undecidability Results for Logic Programming},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {257--288},
year = {1995},
url = {https://doi.org/10.1007/BF01536398},
doi = {10.1007/BF01536398},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Schlipf95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ChaochenHS93,
author = {Zhou Chaochen and
Michael R. Hansen and
Peter Sestoft},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {Decidability and Undecidability Results for Duration Calculus},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {58--68},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_8},
doi = {10.1007/3-540-56503-5\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/ChaochenHS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schlipf92,
author = {John S. Schlipf},
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Survey of Complexity and Undecidability Results in Logic Programming},
booktitle = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
pages = {143--164},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Thu, 21 Jun 2018 07:36:34 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Schlipf92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/Otto91,
author = {Friedrich Otto},
editor = {Harold F. Mattson and
Teo Mora and
T. R. N. Rao},
title = {Some Undecidability Results for Weakly Confluent Monadic String-Rewriting
Systems},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
9th International Symposium, AAECC-9, New Orleans, LA, USA, October
7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {539},
pages = {292--303},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54522-0\_118},
doi = {10.1007/3-540-54522-0\_118},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/Otto91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HinzD89,
author = {Friedhelm Hinz and
J{\"{u}}rgen Dassow},
title = {A undecidability result for regular anguages and its applications
to regulated rewriting},
journal = {Bull. {EATCS}},
volume = {38},
pages = {168--173},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HinzD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Vardi88,
author = {Moshe Y. Vardi},
editor = {Chris Edmondson{-}Yurkanan and
Mihalis Yannakakis},
title = {Decidability and Undecidability Results for Boundedness of Linear
Recursive Queries},
booktitle = {Proceedings of the Seventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, March 21-23, 1988, Austin, Texas,
{USA}},
pages = {341--351},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/308386.308470},
doi = {10.1145/308386.308470},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Vardi88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kalfa84,
author = {Cornelia Kalfa},
title = {Some Undecidability Results in Strong Algebraic Languages},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {951--954},
year = {1984},
url = {https://doi.org/10.2307/2274149},
doi = {10.2307/2274149},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kalfa84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Otto84a,
author = {Friedrich Otto},
title = {Some Undecidability Results for Non-Monadic Church-Rosser Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {261--278},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90090-2},
doi = {10.1016/0304-3975(84)90090-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Otto84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Gehani80,
author = {Narain H. Gehani},
title = {Generic Procedures: An Implementation and an Undecidability Result},
journal = {Comput. Lang.},
volume = {5},
number = {3},
pages = {155--161},
year = {1980},
url = {https://doi.org/10.1016/0096-0551(80)90008-9},
doi = {10.1016/0096-0551(80)90008-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/Gehani80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schonfeld79,
author = {Wolfgang Sch{\"{o}}nfeld},
title = {An Undecidability Result for Relation Algebras},
journal = {J. Symb. Log.},
volume = {44},
number = {1},
pages = {111--115},
year = {1979},
url = {https://doi.org/10.2307/2273710},
doi = {10.2307/2273710},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schonfeld79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Miller72,
author = {Raymond E. Miller},
title = {Some Undecidability Results for Parallel Program Schemata},
journal = {{SIAM} J. Comput.},
volume = {1},
number = {1},
pages = {119--129},
year = {1972},
url = {https://doi.org/10.1137/0201007},
doi = {10.1137/0201007},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Miller72.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-25 18:31 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:
