Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "unique property"
download as .bib file
@article{DBLP:journals/jgt/Etzion24,
author = {Tuvi Etzion},
title = {Graphs with the unique path property: Structure, cycles, factors,
and constructions},
journal = {J. Graph Theory},
volume = {105},
number = {1},
pages = {5--33},
year = {2024},
url = {https://doi.org/10.1002/jgt.23007},
doi = {10.1002/JGT.23007},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jgt/Etzion24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fdgth/ZhangCGSMMWGA23,
author = {Huayu Zhang and
Arlene Casey and
Imane Guellil and
V{\'{\i}}ctor Su{\'{a}}rez{-}Paniagua and
Clare Macrae and
Charis Marwick and
Honghan Wu and
Bruce Guthrie and
Beatrice Alex},
title = {{FLAP:} a framework for linking free-text addresses to the Ordnance
Survey Unique Property Reference Number database},
journal = {Frontiers Digit. Health},
volume = {5},
year = {2023},
url = {https://doi.org/10.3389/fdgth.2023.1186208},
doi = {10.3389/FDGTH.2023.1186208},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fdgth/ZhangCGSMMWGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AlamS23,
author = {Syed Eqbal Alam and
Dhirendra Shukla},
title = {Existence of a Unique Invariant Measure and Ergodic Property in AIMD-based
Multi-resource Allocation},
booktitle = {American Control Conference, {ACC} 2023, San Diego, CA, USA, May 31
- June 2, 2023},
pages = {2592--2598},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/ACC55779.2023.10155852},
doi = {10.23919/ACC55779.2023.10155852},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/AlamS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/XiaoL22,
author = {Jun Xiao and
Yingyan Lou},
title = {An Online Reinforcement Learning Approach for User-Optimal Parking
Searching Strategy Exploiting Unique Problem Property and Network
Topology},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {23},
number = {7},
pages = {8157--8169},
year = {2022},
url = {https://doi.org/10.1109/TITS.2021.3076408},
doi = {10.1109/TITS.2021.3076408},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/XiaoL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SkavantzosZL21,
author = {Philipp Skavantzos and
Kaiqi Zhao and
Sebastian Link},
editor = {Marcello La Rosa and
Shazia W. Sadiq and
Ernest Teniente},
title = {Uniqueness Constraints on Property Graphs},
booktitle = {Advanced Information Systems Engineering - 33rd International Conference,
CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12751},
pages = {280--295},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79382-1\_17},
doi = {10.1007/978-3-030-79382-1\_17},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/SkavantzosZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BodirskyB21,
author = {Manuel Bodirsky and
Bertalan Bodor},
title = {Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation
Property},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470683},
doi = {10.1109/LICS52264.2021.9470683},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BodirskyB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-08992,
author = {Yuan Gao and
Bernd G{\"{a}}rtner and
Jourdain B. Lamperski},
title = {A New Combinatorial Property of Geometric Unique Sink Orientations},
journal = {CoRR},
volume = {abs/2008.08992},
year = {2020},
url = {https://arxiv.org/abs/2008.08992},
eprinttype = {arXiv},
eprint = {2008.08992},
timestamp = {Fri, 23 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-08992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/Chen19,
author = {Mo Chen},
title = {Unique continuation property for the Zakharov-Kuznetsov equation},
journal = {Comput. Math. Appl.},
volume = {77},
number = {5},
pages = {1273--1281},
year = {2019},
url = {https://doi.org/10.1016/j.camwa.2018.11.002},
doi = {10.1016/J.CAMWA.2018.11.002},
timestamp = {Mon, 17 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/Chen19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogmi/ShaeTCT19,
author = {Zonyin Shae and
Zhi{-}Ren Tsai and
Chi{-}Yu Chang and
Jeffrey J. P. Tsai},
title = {Random Sampling Deep Learning Mechanism for Discovering Unique Property
of No Specific Local Feature Images},
booktitle = {2019 {IEEE} First International Conference on Cognitive Machine Intelligence
(CogMI), Los Angeles, CA, USA, December 12-14, 2019},
pages = {226--234},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CogMI48466.2019.00040},
doi = {10.1109/COGMI48466.2019.00040},
timestamp = {Mon, 09 Mar 2020 18:00:20 +0100},
biburl = {https://dblp.org/rec/conf/cogmi/ShaeTCT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamma/SoaveW18,
author = {Nicola Soave and
Tobias Weth},
title = {The Unique Continuation Property of Sublinear Equations},
journal = {{SIAM} J. Math. Anal.},
volume = {50},
number = {4},
pages = {3919--3938},
year = {2018},
url = {https://doi.org/10.1137/17M1144325},
doi = {10.1137/17M1144325},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamma/SoaveW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HuQYCHKL18,
author = {Hong Hu and
Chenxiong Qian and
Carter Yagemann and
Simon Pak Ho Chung and
William R. Harris and
Taesoo Kim and
Wenke Lee},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {Enforcing Unique Code Target Property for Control-Flow Integrity},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {1470--1486},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243797},
doi = {10.1145/3243734.3243797},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/HuQYCHKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vasey17a,
author = {Sebastien Vasey},
title = {On the uniqueness property of forking in abstract elementary classes},
journal = {Math. Log. Q.},
volume = {63},
number = {6},
pages = {598--604},
year = {2017},
url = {https://doi.org/10.1002/malq.201700020},
doi = {10.1002/MALQ.201700020},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Vasey17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KonigW17,
author = {Harald K{\"{o}}nig and
Uwe Wolter},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {Being Van Kampen in Presheaf Topoi is a Uniqueness Property},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {16:1--16:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.16},
doi = {10.4230/LIPICS.CALCO.2017.16},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/calco/KonigW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Ortega-Gutierrez16,
author = {R. Israel Ortega{-}Guti{\'{e}}rrez and
Ra{\'{u}}l Montes{-}de{-}Oca and
Enrique Lemus{-}Rodr{\'{\i}}guez},
title = {Uniqueness of optimal policies as a generic property of discounted
Markov decision processes: Ekeland's variational principle approach},
journal = {Kybernetika},
volume = {52},
number = {1},
pages = {66--75},
year = {2016},
url = {https://doi.org/10.14736/kyb-2016-1-0066},
doi = {10.14736/KYB-2016-1-0066},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Ortega-Gutierrez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/AbunahlaSYOJM16,
author = {Heba Abunahla and
Dina Shehada and
Chan Yeob Yeun and
Curtis J. Okelly and
Maguy Abi Jaoude and
Baker Mohammad},
title = {Novel microscale memristor with uniqueness property for securing communications},
booktitle = {{IEEE} 59th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2016, Abu Dhabi, United Arab Emirates, October 16-19, 2016},
pages = {1--4},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MWSCAS.2016.7870134},
doi = {10.1109/MWSCAS.2016.7870134},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/mwscas/AbunahlaSYOJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/HellmuthOS14,
author = {Marc Hellmuth and
Lydia Ostermeier and
Peter F. Stadler},
title = {Unique square property, equitable partitions, and product-like graphs},
journal = {Discret. Math.},
volume = {320},
pages = {92--103},
year = {2014},
url = {https://doi.org/10.1016/j.disc.2013.12.012},
doi = {10.1016/J.DISC.2013.12.012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/HellmuthOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/MeunierP14,
author = {Fr{\'{e}}d{\'{e}}ric Meunier and
Thomas Pradeau},
title = {The uniqueness property for networks with several origin-destination
pairs},
journal = {Eur. J. Oper. Res.},
volume = {237},
number = {1},
pages = {245--256},
year = {2014},
url = {https://doi.org/10.1016/j.ejor.2014.01.041},
doi = {10.1016/J.EJOR.2014.01.041},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/MeunierP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlms/PezzoMR14,
author = {Leandro M. Del Pezzo and
Carolina A. Mosquera and
Julio D. Rossi},
title = {The unique continuation property for a nonlinear equation on trees},
journal = {J. Lond. Math. Soc.},
volume = {89},
number = {2},
pages = {364--382},
year = {2014},
url = {https://doi.org/10.1112/jlms/jdt067},
doi = {10.1112/JLMS/JDT067},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlms/PezzoMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/AverkovB14,
author = {Gennadiy Averkov and
Amitabh Basu},
editor = {Jon Lee and
Jens Vygen},
title = {On the Unique-Lifting Property},
booktitle = {Integer Programming and Combinatorial Optimization - 17th International
Conference, {IPCO} 2014, Bonn, Germany, June 23-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8494},
pages = {76--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07557-0\_7},
doi = {10.1007/978-3-319-07557-0\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipco/AverkovB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BroereD13,
author = {Izak Broere and
Michael Dorfling},
title = {The property of \emph{k}k-colourable graphs is uniquely decomposable},
journal = {Discret. Math.},
volume = {313},
number = {19},
pages = {1961--1964},
year = {2013},
url = {https://doi.org/10.1016/j.disc.2012.10.009},
doi = {10.1016/J.DISC.2012.10.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/BroereD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/KlatteK13,
author = {Diethard Klatte and
Bernd Kummer},
title = {Aubin property and uniqueness of solutions in cone constrained optimization},
journal = {Math. Methods Oper. Res.},
volume = {77},
number = {3},
pages = {291--304},
year = {2013},
url = {https://doi.org/10.1007/s00186-013-0429-6},
doi = {10.1007/S00186-013-0429-6},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mmor/KlatteK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BermondCP13,
author = {Jean{-}Claude Bermond and
Michel Cosnard and
St{\'{e}}phane P{\'{e}}rennes},
title = {Directed acyclic graphs with the unique dipath property},
journal = {Theor. Comput. Sci.},
volume = {504},
pages = {5--11},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.06.015},
doi = {10.1016/J.TCS.2012.06.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BermondCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/SongJS11,
author = {Yuqing Song and
Shuyuan Jin and
Jie Shen},
title = {A unique property of single-link distance and its application in data
clustering},
journal = {Data Knowl. Eng.},
volume = {70},
number = {11},
pages = {984--1003},
year = {2011},
url = {https://doi.org/10.1016/j.datak.2011.07.003},
doi = {10.1016/J.DATAK.2011.07.003},
timestamp = {Mon, 17 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/SongJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/Saida11,
author = {Hiromi Saida},
title = {Universal Property of Quantum Gravity implied by Uniqueness Theorem
of Bekenstein-Hawking Entropy},
journal = {Entropy},
volume = {13},
number = {9},
pages = {1611--1647},
year = {2011},
url = {https://doi.org/10.3390/e13091611},
doi = {10.3390/E13091611},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/Saida11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamma/LinN10,
author = {Ching{-}Lung Lin and
Gen Nakamura},
title = {Unique Continuation Property for a Coupled Second-Fourth Order Dynamical
System and Its Application},
journal = {{SIAM} J. Math. Anal.},
volume = {42},
number = {5},
pages = {2318--2336},
year = {2010},
url = {https://doi.org/10.1137/090770357},
doi = {10.1137/090770357},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamma/LinN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsms/ChenMZHQ10,
author = {Hui Chen and
Shiwei Ma and
Hao Zhang and
Zhonghua Hao and
Junfeng Qian},
editor = {Kang Li and
Minrui Fei and
Li Jia and
George W. Irwin},
title = {A Feature Points Matching Method Based on Window Unique Property of
Pseudo-Random Coded Image},
booktitle = {Life System Modeling and Intelligent Computing, International Conference
on Life System Modeling and Simulation, {LSMS} 2010, and International
Conference on Intelligent Computing for Sustainable Energy and Environment,
{ICSEE} 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6329},
pages = {333--341},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15597-0\_37},
doi = {10.1007/978-3-642-15597-0\_37},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/lsms/ChenMZHQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arscom/AbbasOSJ07,
author = {A. Abbas and
Mohamed Othman and
Mohd Hasan Selamat and
Rozita Johari},
title = {Large Chordal Rings for Given Diameter and Uniqueness Property of
Minima},
journal = {Ars Comb.},
volume = {82},
year = {2007},
timestamp = {Fri, 22 May 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arscom/AbbasOSJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcc/Thas07,
author = {Joseph A. Thas},
title = {The uniqueness of 1-systems of \emph{W} \({}_{\mbox{5}}\)( \emph{q}
{)} satisfying the BLT-property, with \emph{q} odd},
journal = {Des. Codes Cryptogr.},
volume = {44},
number = {1-3},
pages = {3--10},
year = {2007},
url = {https://doi.org/10.1007/s10623-007-9039-8},
doi = {10.1007/S10623-007-9039-8},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcc/Thas07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icicic/ChenWGTC06,
author = {Yiming Chen and
Weiwei Wang and
Hailian Gui and
Lamei Tong and
Jie Chen},
title = {Existence and Uniqueness Property of the Three-Dimensional Fast Multipole-BEM
for Potential Problems},
booktitle = {First International Conference on Innovative Computing, Information
and Control {(ICICIC} 2006), 30 August - 1 September 2006, Beijing,
China},
pages = {30--33},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICICIC.2006.450},
doi = {10.1109/ICICIC.2006.450},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icicic/ChenWGTC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/KlimeshM06,
author = {Matthew Klimesh and
Robert J. McEliece},
title = {Existence, Uniqueness, and Optimality of Sibling-Property Codes for
Infinite Sources},
booktitle = {Proceedings 2006 {IEEE} International Symposium on Information Theory,
{ISIT} 2006, The Westin Seattle, Seattle, Washington, USA, July 9-14,
2006},
pages = {2536--2540},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ISIT.2006.262089},
doi = {10.1109/ISIT.2006.262089},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isit/KlimeshM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/ZmazekZ02,
author = {Blaz Zmazek and
Janez Zerovnik},
title = {Unique square property and fundamental factorizations of graph bundles},
journal = {Discret. Math.},
volume = {244},
number = {1-3},
pages = {551--561},
year = {2002},
url = {https://doi.org/10.1016/S0012-365X(01)00106-6},
doi = {10.1016/S0012-365X(01)00106-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dm/ZmazekZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AidaCRW02,
author = {Shin Aida and
Marcel Cr{\^{a}}smaru and
Kenneth W. Regan and
Osamu Watanabe},
editor = {Helmut Alt and
Afonso Ferreira},
title = {Games with a Uniqueness Property},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {396--407},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_32},
doi = {10.1007/3-540-45841-7\_32},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AidaCRW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManoO01,
author = {Ken Mano and
Mizuhito Ogawa},
title = {Unique normal form property of compatible term rewriting systems:
a new proof of Chew's theorem},
journal = {Theor. Comput. Sci.},
volume = {258},
number = {1-2},
pages = {169--208},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(99)00340-0},
doi = {10.1016/S0304-3975(99)00340-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManoO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Nagatou99,
author = {K. Nagatou},
title = {A Numerical Method to Verify the Elliptic Eigenvalue Problems Including
a Uniqueness Property},
journal = {Computing},
volume = {63},
number = {2},
pages = {109--130},
year = {1999},
url = {https://doi.org/10.1007/s006070050054},
doi = {10.1007/S006070050054},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/Nagatou99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/Neruda99,
author = {Roman Neruda},
title = {Utilizing unique parametrization property in approximate genetic learning
of feed-forward networks},
booktitle = {International Joint Conference Neural Networks, {IJCNN} 1999, Washington,
DC, USA, July 10-16, 1999},
pages = {4186--4191},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/IJCNN.1999.830836},
doi = {10.1109/IJCNN.1999.830836},
timestamp = {Tue, 10 Aug 2021 14:29:47 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/Neruda99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/ManoO96,
author = {Ken Mano and
Mizuhito Ogawa},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Unique Normal Form Property of Higher-Order Rewriting Systems},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {269--283},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_18},
doi = {10.1007/3-540-61735-3\_18},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/ManoO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/ToyamaO94,
author = {Yoshihito Toyama and
Michio Oyamaguchi},
editor = {Nachum Dershowitz and
Naomi Lindenstrauss},
title = {Church-Rosser Property and Unique Normal Form Property of Non-Duplicating
Term Rewriting Systems},
booktitle = {Conditional and Typed Rewriting Systems, 4th International Workshop,
CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {968},
pages = {316--331},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60381-6\_19},
doi = {10.1007/3-540-60381-6\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/ToyamaO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Ogawa92,
author = {Mizuhito Ogawa},
editor = {Toshihide Ibaraki and
Yasuyoshi Inagaki and
Kazuo Iwama and
Takao Nishizeki and
Masafumi Yamashita},
title = {Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear
Term Rewriting Systems-},
booktitle = {Algorithms and Computation, Third International Symposium, {ISAAC}
'92, Nagoya, Japan, December 16-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {650},
pages = {309--318},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56279-6\_84},
doi = {10.1007/3-540-56279-6\_84},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/Ogawa92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Majster-Cederbaum89,
author = {Mila E. Majster{-}Cederbaum},
title = {The Contraction Property is Sufficient to Guarantee the Uniqueness
of Fixed Points of Endofunctors in a Category of Complete Metric Spaces},
journal = {Inf. Process. Lett.},
volume = {33},
number = {1},
pages = {15--19},
year = {1989},
url = {https://doi.org/10.1016/0020-0190(89)90181-6},
doi = {10.1016/0020-0190(89)90181-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Majster-Cederbaum89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/HedetniemiS77,
author = {Stephen T. Hedetniemi and
Diane M. Spresser},
title = {A property of trees in terms of unique connected subgraphs},
journal = {J. Graph Theory},
volume = {1},
number = {4},
pages = {335--337},
year = {1977},
url = {https://doi.org/10.1002/jgt.3190010409},
doi = {10.1002/JGT.3190010409},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgt/HedetniemiS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-23 15:45 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:
