Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xizhong Zheng
@inproceedings{DBLP:conf/cie/Ambos-SpiesZ19,
author = {Klaus Ambos{-}Spies and
Xizhong Zheng},
editor = {Florin Manea and
Barnaby Martin and
Dani{\"{e}}l Paulusma and
Giuseppe Primiero},
title = {On the Differences and Sums of Strongly Computably Enumerable Real
Numbers},
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 = {310--322},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22996-2\_27},
doi = {10.1007/978-3-030-22996-2\_27},
timestamp = {Sun, 25 Oct 2020 22:53:05 +0100},
biburl = {https://dblp.org/rec/conf/cie/Ambos-SpiesZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-2245,
author = {Xizhong Zheng and
Robert Rettinger},
title = {Point-Separable Classes of Simple Computable Planar Curves},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:15)2012},
doi = {10.2168/LMCS-8(3:15)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-0394,
author = {Matthew S. Bauer and
Xizhong Zheng},
editor = {Xizhong Zheng and
Ning Zhong},
title = {On the Weak Computability of Continuous Real Functions},
booktitle = {Proceedings Seventh International Conference on Computability and
Complexity in Analysis, {CCA} 2010, Zhenjiang, China, 21-25th June
2010},
series = {{EPTCS}},
volume = {24},
pages = {29--40},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.24.8},
doi = {10.4204/EPTCS.24.8},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1006-0551,
editor = {Xizhong Zheng and
Ning Zhong},
title = {Proceedings Seventh International Conference on Computability and
Complexity in Analysis, {CCA} 2010, Zhenjiang, China, 21-25th June
2010},
series = {{EPTCS}},
volume = {24},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.24},
doi = {10.4204/EPTCS.24},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/RettingerZ09,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {On the Computability of Rectifiable Simple Curve (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2273},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/cca/RettingerZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RettingerZ09,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {Points on Computable Curves of Computable Lengths},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {736--743},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_62},
doi = {10.1007/978-3-642-03816-7\_62},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RettingerZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Zheng08,
author = {Xizhong Zheng},
title = {A Hierarchy of Computably Enumerable Reals},
journal = {Fundam. Informaticae},
volume = {83},
number = {1-2},
pages = {219--230},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi83-1-2-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Zheng08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Zheng08,
author = {Xizhong Zheng},
title = {Classification of Computably Approximable Real Numbers},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {603--624},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9026-5},
doi = {10.1007/S00224-007-9026-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Zheng08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Zheng07,
author = {Xizhong Zheng},
title = {On the hierarchies of {\textdollar}{\textbackslash}Delta{\^{}}0{\_}2{\textdollar}-real
numbers},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {41},
number = {1},
pages = {3--25},
year = {2007},
url = {https://doi.org/10.1051/ita:2007008},
doi = {10.1051/ITA:2007008},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Zheng07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KoWZ07,
author = {Ker{-}I Ko and
Klaus Weihrauch and
Xizhong Zheng},
title = {Editorial: Math. Log. Quart. 4-5/2007},
journal = {Math. Log. Q.},
volume = {53},
number = {4-5},
pages = {325},
year = {2007},
url = {https://doi.org/10.1002/malq.200790001},
doi = {10.1002/MALQ.200790001},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KoWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ChenSZ07,
author = {Qingliang Chen and
Kaile Su and
Xizhong Zheng},
title = {Primitive recursive real numbers},
journal = {Math. Log. Q.},
volume = {53},
number = {4-5},
pages = {365--380},
year = {2007},
url = {https://doi.org/10.1002/malq.200710005},
doi = {10.1002/MALQ.200710005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ChenSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/Zheng07,
author = {Xizhong Zheng},
editor = {Guohui Lin},
title = {Bounded Computable Enumerability and Hierarchy of Computably Enumerable
Reals},
booktitle = {Computing and Combinatorics, 13th Annual International Conference,
{COCOON} 2007, Banff, Canada, July 16-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4598},
pages = {327--337},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73545-8\_33},
doi = {10.1007/978-3-540-73545-8\_33},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/Zheng07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zheng08,
author = {Xizhong Zheng},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Finitely Bounded Effective Computability},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {255--265},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.019},
doi = {10.1016/J.ENTCS.2008.03.019},
timestamp = {Thu, 09 Feb 2023 12:23:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zheng08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/RettingerZ06,
author = {Robert Rettinger and
Xizhong Zheng},
title = {A hierarchy of Turing degrees of divergence bounded computable real
numbers},
journal = {J. Complex.},
volume = {22},
number = {6},
pages = {818--826},
year = {2006},
url = {https://doi.org/10.1016/j.jco.2006.04.009},
doi = {10.1016/J.JCO.2006.04.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/RettingerZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/SuCSYLZ06,
author = {Kaile Su and
Qingliang Chen and
Abdul Sattar and
Weiya Yue and
Guanfeng Lv and
Xizhong Zheng},
title = {Verification of Authentication Protocols for Epistemic Goals via {SAT}
Compilation},
journal = {J. Comput. Sci. Technol.},
volume = {21},
number = {6},
pages = {932--943},
year = {2006},
url = {https://doi.org/10.1007/s11390-006-0932-9},
doi = {10.1007/S11390-006-0932-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/SuCSYLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZhengR06,
author = {Xizhong Zheng and
Robert Rettinger},
title = {A Reference Correction of "Effective Jordan Decomposition"},
journal = {Theory Comput. Syst.},
volume = {39},
number = {2},
pages = {385--385},
year = {2006},
url = {https://doi.org/10.1007/s00224-005-1323-2},
doi = {10.1007/S00224-005-1323-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ZhengR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhengLB06,
author = {Xizhong Zheng and
Dianchen Lu and
Kejin Bao},
title = {Divergence bounded computable real numbers},
journal = {Theor. Comput. Sci.},
volume = {351},
number = {1},
pages = {27--38},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.09.054},
doi = {10.1016/J.TCS.2005.09.054},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ZhengLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Zheng06,
author = {Xizhong Zheng},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {A Computability Theory of Real Numbers},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {584--594},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_60},
doi = {10.1007/11780342\_60},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Zheng06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenSZ07,
author = {Qingliang Chen and
Kaile Su and
Xizhong Zheng},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Primitive Recursiveness of Real Numbers under Different Representations},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {303--324},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.018},
doi = {10.1016/J.ENTCS.2006.08.018},
timestamp = {Tue, 24 Jan 2023 11:08:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zheng07,
author = {Xizhong Zheng},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Classification of the Computable Approximations by Divergence Boundings},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {325--344},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.019},
doi = {10.1016/J.ENTCS.2006.08.019},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zheng07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhengRB05,
author = {Xizhong Zheng and
Robert Rettinger and
George Barmpalias},
title = {\emph{h}-monotonically computable real numbers},
journal = {Math. Log. Q.},
volume = {51},
number = {2},
pages = {157--170},
year = {2005},
url = {https://doi.org/10.1002/malq.200410016},
doi = {10.1002/MALQ.200410016},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhengRB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZhengR05,
author = {Xizhong Zheng and
Robert Rettinger},
title = {Effective Jordan Decomposition},
journal = {Theory Comput. Syst.},
volume = {38},
number = {2},
pages = {189--209},
year = {2005},
url = {https://doi.org/10.1007/s00224-004-1193-z},
doi = {10.1007/S00224-004-1193-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ZhengR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZhengRG05,
author = {Xizhong Zheng and
Robert Rettinger and
Romain Gengler},
title = {Closure Properties of Real Number Classes under {CBV} Functions},
journal = {Theory Comput. Syst.},
volume = {38},
number = {6},
pages = {701--729},
year = {2005},
url = {https://doi.org/10.1007/s00224-004-1159-1},
doi = {10.1007/S00224-004-1159-1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ZhengRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/RettingerZ05,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {A Hierarchy of Turing Degrees for Divergence Bounded Computable Real
Numbers},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {199--209},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/cca/RettingerZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/RettingerZ05,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {On the Turing Degrees of Divergence Bounded Computable Reals},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {418--428},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_51},
doi = {10.1007/11494645\_51},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/RettingerZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/RettingerZ05,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Lusheng Wang},
title = {Solovay Reducibility on D-c.e Real Numbers},
booktitle = {Computing and Combinatorics, 11th Annual International Conference,
{COCOON} 2005, Kunming, China, August 16-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3595},
pages = {359--368},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11533719\_37},
doi = {10.1007/11533719\_37},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/RettingerZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyWZ04,
author = {Rod Downey and
Guohua Wu and
Xizhong Zheng},
title = {Degrees of d. c. e. reals},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {345--350},
year = {2004},
url = {https://doi.org/10.1002/malq.200310103},
doi = {10.1002/MALQ.200310103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhengR04,
author = {Xizhong Zheng and
Robert Rettinger},
title = {Weak computability and representation of reals},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {431--442},
year = {2004},
url = {https://doi.org/10.1002/malq.200310110},
doi = {10.1002/MALQ.200310110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhengR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/ZhengR04,
author = {Xizhong Zheng and
Robert Rettinger},
editor = {Kyung{-}Yong Chwa and
J. Ian Munro},
title = {On the Extensions of Solovay-Reducibility.},
booktitle = {Computing and Combinatorics, 10th Annual International Conference,
{COCOON} 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3106},
pages = {360--369},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27798-9\_39},
doi = {10.1007/978-3-540-27798-9\_39},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/ZhengR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhengR05,
author = {Xizhong Zheng and
Robert Rettinger},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A Note On the Turing Degrees of Divergence Bounded Computable Reals},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {231--237},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.047},
doi = {10.1016/J.ENTCS.2004.06.047},
timestamp = {Fri, 09 Dec 2022 13:20:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhengR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/RettingerZ03,
author = {Robert Rettinger and
Xizhong Zheng},
title = {On the hierarchy and extension of monotonically computable real numbers},
journal = {J. Complex.},
volume = {19},
number = {5},
pages = {672--691},
year = {2003},
url = {https://doi.org/10.1016/S0885-064X(03)00066-9},
doi = {10.1016/S0885-064X(03)00066-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/RettingerZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Zheng03,
author = {Xizhong Zheng},
title = {On the Turing Degrees of Weakly Computable Real Numbers},
journal = {J. Log. Comput.},
volume = {13},
number = {2},
pages = {159--172},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.2.159},
doi = {10.1093/LOGCOM/13.2.159},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Zheng03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/Zheng03,
author = {Xizhong Zheng},
editor = {Tandy J. Warnow and
Binhai Zhu},
title = {On the Divergence Bounded Computable Real Numbers},
booktitle = {Computing and Combinatorics, 9th Annual International Conference,
{COCOON} 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2697},
pages = {102--111},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45071-8\_12},
doi = {10.1007/3-540-45071-8\_12},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/Zheng03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/ZhengB03,
author = {Xizhong Zheng and
George Barmpalias},
editor = {Cristian Calude and
Michael J. Dinneen and
Vincent Vajnovszki},
title = {On the Monotonic Computability of Semi-computable Real Numbers},
booktitle = {Discrete Mathematics and Theoretical Computer Science, 4th International
Conference, {DMTCS} 2003, Dijon, France, July 7-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2731},
pages = {290--300},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45066-1\_23},
doi = {10.1007/3-540-45066-1\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/ZhengB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ZhengRG03,
author = {Xizhong Zheng and
Robert Rettinger and
Romain Gengler},
editor = {Branislav Rovan and
Peter Vojt{\'{a}}s},
title = {Ershov's Hierarchy of Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2747},
pages = {681--690},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45138-9\_62},
doi = {10.1007/978-3-540-45138-9\_62},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ZhengRG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ZhengRB03,
author = {Xizhong Zheng and
Robert Rettinger and
Burchard von Braunm{\"{u}}hl},
editor = {Helmut Alt and
Michel Habib},
title = {On the Effective Jordan Decomposability},
booktitle = {{STACS} 2003, 20th Annual Symposium on Theoretical Aspects of Computer
Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2607},
pages = {167--178},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36494-3\_16},
doi = {10.1007/3-540-36494-3\_16},
timestamp = {Thu, 14 Oct 2021 10:38:16 +0200},
biburl = {https://dblp.org/rec/conf/stacs/ZhengRB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RettingerZGB02,
author = {Robert Rettinger and
Xizhong Zheng and
Romain Gengler and
Burchard von Braunm{\"{u}}hl},
title = {Monotonically Computable Real Numbers},
journal = {Math. Log. Q.},
volume = {48},
number = {3},
pages = {459--479},
year = {2002},
url = {https://doi.org/10.1002/1521-3870(200204)48:3\&\#60;459::AID-MALQ459\&\#62;3.0.CO;2-9},
doi = {10.1002/1521-3870(200204)48:3\&\#60;459::AID-MALQ459\&\#62;3.0.CO;2-9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RettingerZGB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zheng02,
author = {Xizhong Zheng},
title = {Recursive Approximability of Real Numbers},
journal = {Math. Log. Q.},
volume = {48},
number = {{S1}},
pages = {131--156},
year = {2002},
url = {https://doi.org/10.1002/1521-3870(200210)48:1\%2B\&\#60;131::AID-MALQ131\&\#62;3.0.CO;2-\%23},
doi = {10.1002/1521-3870(200210)48:1\%2B\&\#60;131::AID-MALQ131\&\#62;3.0.CO;2-\%23},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Zheng02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zheng02,
author = {Xizhong Zheng},
title = {The closure properties on real numbers under limits and computable
operators},
journal = {Theor. Comput. Sci.},
volume = {284},
number = {2},
pages = {499--518},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00107-4},
doi = {10.1016/S0304-3975(01)00107-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zheng02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/RettingerZ02,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Oscar H. Ibarra and
Louxin Zhang},
title = {Burchard von Braunm{\"{u}}hl, Computable Real Functions of Bounded
Variation and Semi-computable Real Numbers},
booktitle = {Computing and Combinatorics, 8th Annual International Conference,
{COCOON} 2002, Singapore, August 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2387},
pages = {47--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45655-4\_7},
doi = {10.1007/3-540-45655-4\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/RettingerZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhengRB02,
author = {Xizhong Zheng and
Robert Rettinger and
Burchard von Braunm{\"{u}}hl},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Effectively Absolute Continuity and Effective Jordan Decomposability},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {213--224},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80391-8},
doi = {10.1016/S1571-0661(04)80391-8},
timestamp = {Tue, 06 Dec 2022 09:35:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhengRB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhengW01,
author = {Xizhong Zheng and
Klaus Weihrauch},
title = {The Arithmetical Hierarchy of Real Numbers},
journal = {Math. Log. Q.},
volume = {47},
number = {1},
pages = {51--65},
year = {2001},
url = {https://doi.org/10.1002/1521-3870(200101)47:1\&\#60;51::AID-MALQ51\&\#62;3.0.CO;2-W},
doi = {10.1002/1521-3870(200101)47:1\&\#60;51::AID-MALQ51\&\#62;3.0.CO;2-W},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhengW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/RettingerZGB01,
author = {Robert Rettinger and
Xizhong Zheng and
Romain Gengler and
Burchard von Braunm{\"{u}}hl},
editor = {Jie Wang},
title = {Weakly Computable Real Numbers and Total Computable Real Functions},
booktitle = {Computing and Combinatorics, 7th Annual International Conference,
{COCOON} 2001, Guilin, China, August 20-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2108},
pages = {586--595},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44679-6\_65},
doi = {10.1007/3-540-44679-6\_65},
timestamp = {Mon, 03 Aug 2020 14:08:01 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/RettingerZGB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/RettingerZGB01,
author = {Robert Rettinger and
Xizhong Zheng and
Romain Gengler and
Burchard von Braunm{\"{u}}hl},
editor = {Cristian S. Calude and
Michael J. Dinneen and
Silviu Sburlan},
title = {Monotonically Computable Real Numbers},
booktitle = {Combinatorics, Computability and Logic, Proceedings of the Third International
Conference on Combinatorics, Computability and Logic, {DMTCS} 20Ol,
Constanta, Romania},
series = {Discrete mathematics and theoretical computer science},
pages = {187--201},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4471-0717-0\_16},
doi = {10.1007/978-1-4471-0717-0\_16},
timestamp = {Fri, 19 Jul 2019 10:39:29 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/RettingerZGB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RettingerZ01,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Hierarchy of Monotonically Computable Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {633--644},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_55},
doi = {10.1007/3-540-44683-4\_55},
timestamp = {Sat, 19 Oct 2019 20:31:50 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RettingerZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/Ambos-SpiesWZ00,
author = {Klaus Ambos{-}Spies and
Klaus Weihrauch and
Xizhong Zheng},
title = {Weakly Computable Real Numbers},
journal = {J. Complex.},
volume = {16},
number = {4},
pages = {676--690},
year = {2000},
url = {https://doi.org/10.1006/jcom.2000.0561},
doi = {10.1006/JCOM.2000.0561},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/Ambos-SpiesWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchZ00,
author = {Klaus Weihrauch and
Xizhong Zheng},
title = {Computability on continuous, lower semi-continuous and upper semi-continuous
real functions},
journal = {Theor. Comput. Sci.},
volume = {234},
number = {1-2},
pages = {109--133},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00045-0},
doi = {10.1016/S0304-3975(98)00045-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/Zheng00,
author = {Xizhong Zheng},
editor = {Ding{-}Zhu Du and
Peter Eades and
Vladimir Estivill{-}Castro and
Xuemin Lin and
Arun Sharma},
title = {Closure Properties of Real Number Classes under Limits and Computable
Operators},
booktitle = {Computing and Combinatorics, 6th Annual International Conference,
{COCOON} 2000, Sydney, Australia, July 26-28, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1858},
pages = {170--179},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44968-X\_17},
doi = {10.1007/3-540-44968-X\_17},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/cocoon/Zheng00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BrattkaZW99,
author = {Vasco Brattka and
Xizhong Zheng and
Klaus Weihrauch},
title = {Approaches to Effective Semi-Continuity of Real Functions},
journal = {Math. Log. Q.},
volume = {45},
pages = {481--496},
year = {1999},
url = {https://doi.org/10.1002/malq.19990450407},
doi = {10.1002/MALQ.19990450407},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BrattkaZW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchZ99,
author = {Klaus Weihrauch and
Xizhong Zheng},
title = {Effectiveness of the Global Modulus of Continuity on Metric Spaces},
journal = {Theor. Comput. Sci.},
volume = {219},
number = {1-2},
pages = {439--450},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00299-0},
doi = {10.1016/S0304-3975(98)00299-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/Zheng99,
author = {Xizhong Zheng},
editor = {Takao Asano and
Hiroshi Imai and
D. T. Lee and
Shin{-}Ichi Nakano and
Takeshi Tokuyama},
title = {Binary Enumerability of Real Numbers},
booktitle = {Computing and Combinatorics, 5th Annual International Conference,
{COCOON} '99, Tokyo, Japan, July 26-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1627},
pages = {300--309},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48686-0\_30},
doi = {10.1007/3-540-48686-0\_30},
timestamp = {Sat, 30 Sep 2023 09:37:25 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/Zheng99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ZhengW99,
author = {Xizhong Zheng and
Klaus Weihrauch},
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {The Arithmetical Hierarchy of Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
pages = {23--33},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3\_3},
doi = {10.1007/3-540-48340-3\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ZhengW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/BrattkaWZ98,
author = {Vasco Brattka and
Klaus Weihrauch and
Xizhong Zheng},
editor = {Wen{-}Lian Hsu and
Ming{-}Yang Kao},
title = {Approaches to Effective Semi-continuity of Real Functions},
booktitle = {Computing and Combinatorics, 4th Annual International Conference,
{COCOON} '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1449},
pages = {184--193},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68535-9\_22},
doi = {10.1007/3-540-68535-9\_22},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/BrattkaWZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WeihrauchZ98,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A Finite Hierarchy of the Recursively Enumerable Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {798--806},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055831},
doi = {10.1007/BFB0055831},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WeihrauchZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ambos-SpiesTZ97,
author = {Klaus Ambos{-}Spies and
Sebastiaan Terwijn and
Xizhong Zheng},
title = {Resource Bounded Randomness and Weakly Complete Problems},
journal = {Theor. Comput. Sci.},
volume = {172},
number = {1-2},
pages = {195--207},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(95)00260-X},
doi = {10.1016/S0304-3975(95)00260-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ambos-SpiesTZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/WeihrauchZ97,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Tao Jiang and
D. T. Lee},
title = {Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous
Real Functions},
booktitle = {Computing and Combinatorics, Third Annual International Conference,
{COCOON} '97, Shanghai, China, August 20-22, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1276},
pages = {166--175},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0045083},
doi = {10.1007/BFB0045083},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/WeihrauchZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/WeihrauchZ97,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Effectiveness of the Global Modulus of Continuity on Metric Spaces},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {210--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026990},
doi = {10.1007/BFB0026990},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/WeihrauchZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/WeihrauchZ96,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous
Real Functions},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/weihrauchzheng.ps},
timestamp = {Tue, 30 Jul 2019 14:53:11 +0200},
biburl = {https://dblp.org/rec/conf/cca/WeihrauchZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Ambos-SpiesMZ96,
author = {Klaus Ambos{-}Spies and
Elvira Mayordomo and
Xizhong Zheng},
editor = {Steven Homer and
Jin{-}Yi Cai},
title = {A Comparison of Weak Completeness Notions},
booktitle = {Proceedings of the Eleveth Annual {IEEE} Conference on Computational
Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996},
pages = {171--178},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CCC.1996.507679},
doi = {10.1109/CCC.1996.507679},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/Ambos-SpiesMZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Ambos-SpiesMWZ96,
author = {Klaus Ambos{-}Spies and
Elvira Mayordomo and
Yongge Wang and
Xizhong Zheng},
editor = {Claude Puech and
R{\"{u}}diger Reischuk},
title = {Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness},
booktitle = {{STACS} 96, 13th Annual Symposium on Theoretical Aspects of Computer
Science, Grenoble, France, February 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1046},
pages = {63--74},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60922-9\_6},
doi = {10.1007/3-540-60922-9\_6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Ambos-SpiesMWZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Zheng94,
author = {Xizhong Zheng},
title = {The rhombus classes of degrees of unsolvability (I), The jump properties},
journal = {Arch. Math. Log.},
volume = {33},
number = {1},
pages = {1--12},
year = {1994},
url = {https://doi.org/10.1007/BF01275466},
doi = {10.1007/BF01275466},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Zheng94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Ambos-SpiesTZ94,
author = {Klaus Ambos{-}Spies and
Sebastiaan Terwijn and
Xizhong Zheng},
editor = {Ding{-}Zhu Du and
Xiang{-}Sun Zhang},
title = {Resource Bounded Randomness and Weakly Complete Problems},
booktitle = {Algorithms and Computation, 5th International Symposium, {ISAAC} '94,
Beijing, P. R. China, August 25-27, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {834},
pages = {369--377},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58325-4\_201},
doi = {10.1007/3-540-58325-4\_201},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/Ambos-SpiesTZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zheng93,
author = {Xizhong Zheng},
title = {On the Maximality of Some Pairs of p-t Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {1},
pages = {29--35},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093634561},
doi = {10.1305/NDJFL/1093634561},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zheng93.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:17 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:
