Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Patrick Cégielski
@article{DBLP:journals/fuin/ArnoldCG22,
author = {Andr{\'{e}} Arnold and
Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian},
title = {Affine Completeness of Some Free Binary Algebras},
journal = {Fundam. Informaticae},
volume = {186},
number = {1-4},
pages = {27--44},
year = {2022},
url = {https://doi.org/10.3233/FI-222117},
doi = {10.3233/FI-222117},
timestamp = {Wed, 21 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ArnoldCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/ArnoldCGG21,
author = {Andr{\'{e}} Arnold and
Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {The algebra of binary trees is affine complete},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {23},
number = {2},
year = {2021},
url = {https://doi.org/10.46298/dmtcs.6890},
doi = {10.46298/DMTCS.6890},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/ArnoldCGG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-12846,
author = {Andr{\'{e}} Arnold and
Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian},
title = {Affine completeness of some free binary algebras},
journal = {CoRR},
volume = {abs/2106.12846},
year = {2021},
url = {https://arxiv.org/abs/2106.12846},
eprinttype = {arXiv},
eprint = {2106.12846},
timestamp = {Fri, 07 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-12846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2020gurevich,
editor = {Andreas Blass and
Patrick C{\'{e}}gielski and
Nachum Dershowitz and
Manfred Droste and
Bernd Finkbeiner},
title = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12180},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48006-6},
doi = {10.1007/978-3-030-48006-6},
isbn = {978-3-030-48005-9},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2020gurevich.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05943,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {Congruence Preservation, Lattices and Recognizability},
journal = {CoRR},
volume = {abs/2004.05943},
year = {2020},
url = {https://arxiv.org/abs/2004.05943},
eprinttype = {arXiv},
eprint = {2004.05943},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-03925,
author = {Andr{\'{e}} Arnold and
Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {The algebra of binary trees is affine complete},
journal = {CoRR},
volume = {abs/2011.03925},
year = {2020},
url = {https://arxiv.org/abs/2011.03925},
eprinttype = {arXiv},
eprint = {2011.03925},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-03925.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CegielskiC19,
author = {Patrick C{\'{e}}gielski and
Julien Cervelle},
editor = {Florin Manea and
Barnaby Martin and
Dani{\"{e}}l Paulusma and
Giuseppe Primiero},
title = {Study of Stepwise Simulation Between {ASM}},
booktitle = {Computing with Foresight and Industry - 15th Conference on Computability
in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11558},
pages = {156--167},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22996-2\_14},
doi = {10.1007/978-3-030-22996-2\_14},
timestamp = {Sun, 25 Oct 2020 22:53:05 +0100},
biburl = {https://dblp.org/rec/conf/cie/CegielskiC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/CegielskiGG16,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {Characterizing Congruence Preserving Functions Z/nZ {\(\rightarrow\)}
Z/mZ Via Rational Polynomials},
journal = {Integers},
volume = {16},
pages = {A50},
year = {2016},
url = {http://math.colgate.edu/\%7Eintegers/q50/q50.Abstract.html},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/CegielskiGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CegielskiGG15,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Arithmetical Congruence Preservation: From Finite to Infinite},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {210--225},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_12},
doi = {10.1007/978-3-319-23534-9\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CegielskiGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CegielskiGG15,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {Characterizing congruence preserving functions {\textdollar}Z/nZ{\textbackslash}to
Z/mZ{\textdollar} via rational polynomials},
journal = {CoRR},
volume = {abs/1506.00133},
year = {2015},
url = {http://arxiv.org/abs/1506.00133},
eprinttype = {arXiv},
eprint = {1506.00133},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CegielskiGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CegielskiGG14,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {On lattices of regular sets of natural integers closed under decrementation},
journal = {Inf. Process. Lett.},
volume = {114},
number = {4},
pages = {197--202},
year = {2014},
url = {https://doi.org/10.1016/j.ipl.2013.11.013},
doi = {10.1016/J.IPL.2013.11.013},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CegielskiGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CegielskiGG14,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
editor = {Cristian S. Calude and
Rusins Freivalds and
Kazuo Iwama},
title = {Integral Difference Ratio Functions on Integers},
booktitle = {Computing with New Resources - Essays Dedicated to Jozef Gruska on
the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8808},
pages = {277--291},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13350-8\_21},
doi = {10.1007/978-3-319-13350-8\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CegielskiGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CegielskiGG13,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {On Lattices of Regular Sets of Natural Integers Closed under Decrementation},
journal = {CoRR},
volume = {abs/1310.1378},
year = {2013},
url = {http://arxiv.org/abs/1310.1378},
eprinttype = {arXiv},
eprint = {1310.1378},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CegielskiGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CegielskiGG13a,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
title = {Newton representation of functions over natural integers having integral
difference ratios},
journal = {CoRR},
volume = {abs/1310.1507},
year = {2013},
url = {http://arxiv.org/abs/1310.1507},
eprinttype = {arXiv},
eprint = {1310.1507},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CegielskiGG13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2012,
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12009},
isbn = {978-3-939897-42-2},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CegielskiG10,
author = {Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian},
editor = {Andreas Blass and
Nachum Dershowitz and
Wolfgang Reisig},
title = {Normalization of Some Extended Abstract State Machines},
booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6300},
pages = {165--180},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15025-8\_9},
doi = {10.1007/978-3-642-15025-8\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CegielskiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CegielskiGM08,
author = {Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian and
Yuri V. Matiyasevich},
title = {Tree inclusion problems},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {1},
pages = {5--20},
year = {2008},
url = {https://doi.org/10.1051/ita:2007052},
doi = {10.1051/ITA:2007052},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/CegielskiGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BesC08,
author = {Alexis B{\`{e}}s and
Patrick C{\'{e}}gielski},
title = {Weakly maximal decidable structures},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {1},
pages = {137--145},
year = {2008},
url = {https://doi.org/10.1051/ita:2007044},
doi = {10.1051/ITA:2007044},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BesC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CegielskiRV07,
author = {Patrick C{\'{e}}gielski and
Denis Richard and
Maxim Vsemirnov},
title = {On the Additive Theory of Prime Numbers},
journal = {Fundam. Informaticae},
volume = {81},
number = {1-3},
pages = {83--96},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi81-1-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CegielskiRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CegielskiGM06,
author = {Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian and
Yuri V. Matiyasevich},
title = {Multiple serial episodes matching},
journal = {Inf. Process. Lett.},
volume = {98},
number = {6},
pages = {211--218},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.02.008},
doi = {10.1016/J.IPL.2006.02.008},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/CegielskiGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QueirozC06,
author = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {143--145},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.001},
doi = {10.1016/J.TCS.2006.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/QueirozC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/CegielskiGLM06,
author = {Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian and
Yury Lifshits and
Yuri V. Matiyasevich},
editor = {Dima Grigoriev and
John Harrison and
Edward A. Hirsch},
title = {Window Subsequence Problems for Compressed Texts},
booktitle = {Computer Science - Theory and Applications, First International Symposium
on Computer Science in Russia, {CSR} 2006, St. Petersburg, Russia,
June 8-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3967},
pages = {127--136},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11753728\_15},
doi = {10.1007/11753728\_15},
timestamp = {Tue, 29 Nov 2022 13:36:56 +0100},
biburl = {https://dblp.org/rec/conf/csr/CegielskiGLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0603050,
author = {Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian and
Yuri V. Matiyasevich},
title = {Multiple serial episode matching},
journal = {CoRR},
volume = {abs/cs/0603050},
year = {2006},
url = {http://arxiv.org/abs/cs/0603050},
eprinttype = {arXiv},
eprint = {cs/0603050},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0603050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2004,
editor = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Proceedings of the 11th Workshop on Logic, Language, Information and
Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {123},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/123/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CegielskiM04,
author = {Patrick C{\'{e}}gielski and
Malika More},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {322},
number = {1},
pages = {1--3},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.021},
doi = {10.1016/J.TCS.2004.03.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CegielskiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozC05,
author = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
editor = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Preface},
booktitle = {Proceedings of the 11th Workshop on Logic, Language, Information and
Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {123},
pages = {1--3},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.012},
doi = {10.1016/J.ENTCS.2004.05.012},
timestamp = {Mon, 05 Dec 2022 16:29:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CegielskiHR03,
author = {Patrick C{\'{e}}gielski and
Fran{\c{c}}ois Heroult and
Denis Richard},
title = {On the amplitude of intervals of natural numbers whose every element
has a common prime divisor with at least an extremity},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {53--62},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00444-9},
doi = {10.1016/S0304-3975(02)00444-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CegielskiHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BoassonCGM01,
author = {Luc Boasson and
Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian and
Yuri V. Matiyasevich},
title = {Window-accumulated subsequence matching problem is linear},
journal = {Ann. Pure Appl. Log.},
volume = {113},
number = {1-3},
pages = {59--80},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(01)00051-3},
doi = {10.1016/S0168-0072(01)00051-3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BoassonCGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CegielskiR01,
author = {Patrick C{\'{e}}gielski and
Denis Richard},
title = {Decidability of the theory of the natural integers with the cantor
pairing function and the successor},
journal = {Theor. Comput. Sci.},
volume = {257},
number = {1-2},
pages = {51--77},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00109-2},
doi = {10.1016/S0304-3975(00)00109-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CegielskiR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CegielskiR99,
author = {Patrick C{\'{e}}gielski and
Denis Richard},
title = {On Arithmetical First-Order Theories Allowing Encoding and Decoding
of Lists},
journal = {Theor. Comput. Sci.},
volume = {222},
number = {1-2},
pages = {55--75},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(97)00281-8},
doi = {10.1016/S0304-3975(97)00281-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CegielskiR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BoassonCGM99,
author = {Luc Boasson and
Patrick C{\'{e}}gielski and
Ir{\`{e}}ne Guessarian and
Yuri V. Matiyasevich},
editor = {Victor Vianu and
Christos H. Papadimitriou},
title = {Window-Accumulated Subsequence Matching Problem is Linear},
booktitle = {Proceedings of the Eighteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,
Pennsylvania, {USA}},
pages = {327--336},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/303976.304008},
doi = {10.1145/303976.304008},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BoassonCGM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CegielskiPRTW97,
author = {Patrick C{\'{e}}gielski and
Leszek Pacholski and
Denis Richard and
Jerzy Tomasik and
Alex Wilkie},
title = {Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand,
France},
journal = {Ann. Pure Appl. Log.},
volume = {89},
number = {1},
pages = {1},
year = {1997},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CegielskiPRTW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Cegielski96,
author = {Patrick C{\'{e}}gielski},
title = {Definability, Decidability, Complexity},
journal = {Ann. Math. Artif. Intell.},
volume = {16},
pages = {311--341},
year = {1996},
url = {https://doi.org/10.1007/BF02127802},
doi = {10.1007/BF02127802},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Cegielski96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CegielskiMR96,
author = {Patrick C{\'{e}}gielski and
Yuri V. Matiyasevich and
Denis Richard},
title = {Definability and Decidability Issues in Extensions of the Integers
with the Divisibility Predicate},
journal = {J. Symb. Log.},
volume = {61},
number = {2},
pages = {515--540},
year = {1996},
url = {https://doi.org/10.2307/2275673},
doi = {10.2307/2275673},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CegielskiMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cegielski89,
author = {Patrick C{\'{e}}gielski},
title = {The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {138--150},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635001},
doi = {10.1305/NDJFL/1093635001},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cegielski89.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.
last updated on 2024-04-25 01:43 CEST 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:
