Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/corr/corr0106.bht:"
download as .bib file
@article{DBLP:journals/corr/cond-mat-0106096,
author = {R{\'{e}}ka Albert and
Albert{-}L{\'{a}}szl{\'{o}} Barab{\'{a}}si},
title = {Statistical mechanics of complex networks},
journal = {CoRR},
volume = {cond-mat/0106096},
year = {2001},
url = {http://arxiv.org/abs/cond-mat/0106096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cond-mat-0106096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106004,
author = {Hana Rudov{\'{a}}},
title = {Soft Scheduling},
journal = {CoRR},
volume = {cs.AI/0106004},
year = {2001},
url = {https://arxiv.org/abs/cs/0106004},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106005,
author = {Aspassia Daskalopulu and
Marek J. Sergot},
title = {The Representation of Legal Contracts},
journal = {CoRR},
volume = {cs.AI/0106005},
year = {2001},
url = {https://arxiv.org/abs/cs/0106005},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106006,
author = {Aspassia Daskalopulu and
Marek J. Sergot},
title = {A Constraint-Driven System for Contract Assembly},
journal = {CoRR},
volume = {cs.AI/0106006},
year = {2001},
url = {https://arxiv.org/abs/cs/0106006},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106007,
author = {Chris Reed and
Aspassia Daskalopulu},
title = {Modelling Contractual Arguments},
journal = {CoRR},
volume = {cs.AI/0106007},
year = {2001},
url = {https://arxiv.org/abs/cs/0106007},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106010,
author = {Aspassia Daskalopulu},
title = {Modelling Legal Contracts as Processes},
journal = {CoRR},
volume = {cs.AI/0106010},
year = {2001},
url = {https://arxiv.org/abs/cs/0106010},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106025,
author = {Yannis Dimopoulos and
Antonis C. Kakas},
title = {Information Integration and Computational Logic},
journal = {CoRR},
volume = {cs.AI/0106025},
year = {2001},
url = {https://arxiv.org/abs/cs/0106025},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106044,
author = {Yair Even{-}Zohar and
Dan Roth},
title = {A Sequential Model for Multi-Class Classification},
journal = {CoRR},
volume = {cs.AI/0106044},
year = {2001},
url = {https://arxiv.org/abs/cs/0106044},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106054,
author = {Dmitri Soshnikov},
title = {Software Toolkit for Building Embedded and Distributed Knowledge-based
Systems},
journal = {CoRR},
volume = {cs.AI/0106054},
year = {2001},
url = {https://arxiv.org/abs/cs/0106054},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0106054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0106019,
author = {Erik D. Demaine},
title = {Playing Games with Algorithms: Algorithmic Combinatorial Game Theory},
journal = {CoRR},
volume = {cs.CC/0106019},
year = {2001},
url = {https://arxiv.org/abs/cs/0106019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0106019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0106037,
author = {Edith Hemaspaandra and
Lane A. Hemaspaandra and
Harald Hempel},
title = {Using the No-Search Easy-Hard Technique for Downward Collapse},
journal = {CoRR},
volume = {cs.CC/0106037},
year = {2001},
url = {https://arxiv.org/abs/cs/0106037},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0106037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0106041,
author = {Andr{\'{e}} Gro{\ss}e and
J{\"{o}}rg Rothe and
Gerd Wechsung},
title = {Computing Complete Graph Isomorphisms and Hamiltonian Cycles from
Partial Ones},
journal = {CoRR},
volume = {cs.CC/0106041},
year = {2001},
url = {https://arxiv.org/abs/cs/0106041},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0106041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0106045,
author = {Andr{\'{e}} Gro{\ss}e and
J{\"{o}}rg Rothe and
Gerd Wechsung},
title = {A Note on the Complexity of Computing the Smallest Four-Coloring of
Planar Graphs},
journal = {CoRR},
volume = {cs.CC/0106045},
year = {2001},
url = {https://arxiv.org/abs/cs/0106045},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0106045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0106048,
author = {V. G. Naidenko and
Yury L. Orlovich},
title = {On some optimization problems for star-free graphs},
journal = {CoRR},
volume = {cs.CC/0106048},
year = {2001},
url = {https://arxiv.org/abs/cs/0106048},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0106048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CE-0106003,
author = {Wen Chen and
W. He},
title = {A note on radial basis function computing},
journal = {CoRR},
volume = {cs.CE/0106003},
year = {2001},
url = {https://arxiv.org/abs/cs/0106003},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-CE-0106003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CG-0106032,
author = {David Eppstein},
title = {Hinged Kite Mirror Dissection},
journal = {CoRR},
volume = {cs.CG/0106032},
year = {2001},
url = {https://arxiv.org/abs/cs/0106032},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CG-0106032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0106011,
author = {William Schuler},
title = {Computational properties of environment-based disambiguation},
journal = {CoRR},
volume = {cs.CL/0106011},
year = {2001},
url = {https://arxiv.org/abs/cs/0106011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0106011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0106015,
author = {Atsushi Fujii and
Tetsuya Ishikawa},
title = {Organizing Encyclopedic Knowledge based on the Web and its Application
to Question Answering},
journal = {CoRR},
volume = {cs.CL/0106015},
year = {2001},
url = {https://arxiv.org/abs/cs/0106015},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0106015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0106016,
author = {Vjacheslav M. Novikov},
title = {File mapping Rule-based {DBMS} and Natural Language Processing},
journal = {CoRR},
volume = {cs.CL/0106016},
year = {2001},
url = {https://arxiv.org/abs/cs/0106016},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0106016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0106039,
author = {Rie Kubota Ando and
Lillian Lee},
title = {Iterative Residual Rescaling: An Analysis and Generalization of {LSI}},
journal = {CoRR},
volume = {cs.CL/0106039},
year = {2001},
url = {https://arxiv.org/abs/cs/0106039},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0106039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0106040,
author = {Georgios Sakkis and
Ion Androutsopoulos and
Georgios Paliouras and
Vangelis Karkaletsis and
Constantine D. Spyropoulos and
Panagiotis Stamatopoulos},
title = {Stacking classifiers for anti-spam filtering of e-mail},
journal = {CoRR},
volume = {cs.CL/0106040},
year = {2001},
url = {https://arxiv.org/abs/cs/0106040},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0106040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0106043,
author = {Yuval Krymolowski},
title = {Using the Distribution of Performance for Studying Statistical {NLP}
Systems and Corpora},
journal = {CoRR},
volume = {cs.CL/0106043},
year = {2001},
url = {https://arxiv.org/abs/cs/0106043},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0106043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0106047,
author = {Adwait Ratnaparkhi},
title = {Modeling informational novelty in a conversational system with a hybrid
statistical and grammar-based approach to natural language generation},
journal = {CoRR},
volume = {cs.CL/0106047},
year = {2001},
url = {https://arxiv.org/abs/cs/0106047},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0106047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CY-0106033,
author = {Kenton K. Yee},
title = {location.location.location: Internet Addresses as Evolving Property},
journal = {CoRR},
volume = {cs.CY/0106033},
year = {2001},
url = {https://arxiv.org/abs/cs/0106033},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CY-0106033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0106012,
author = {Fabrizio Angiulli and
Rachel Ben{-}Eliyahu{-}Zohary and
Giovambattista Ianni and
Luigi Palopoli},
title = {Computational Properties of Metaquerying Problems},
journal = {CoRR},
volume = {cs.DB/0106012},
year = {2001},
url = {https://arxiv.org/abs/cs/0106012},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0106012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0106046,
author = {Floris Geerts},
title = {Expressing the cone radius in the relational calculus with real polynomial
constraints},
journal = {CoRR},
volume = {cs.DB/0106046},
year = {2001},
url = {https://arxiv.org/abs/cs/0106046},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0106046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0106055,
author = {Raj P. Gopalan and
Tariq Nuruddin and
Yudho Giri Sucahyo},
title = {A Seamless Integration of Association Rule Mining with Database Systems},
journal = {CoRR},
volume = {cs.DB/0106055},
year = {2001},
url = {https://arxiv.org/abs/cs/0106055},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0106055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0106020,
author = {Rajkumar Buyya and
Heinz Stockinger and
Jonathan Giddy and
David Abramson},
title = {Economic Models for Management of Resources in Grid Computing},
journal = {CoRR},
volume = {cs.DC/0106020},
year = {2001},
url = {https://arxiv.org/abs/cs/0106020},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0106020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0106038,
author = {David M. Mackie},
title = {Simple and Effective Distributed Computing with a Scheduling Service},
journal = {CoRR},
volume = {cs.DC/0106038},
year = {2001},
url = {https://arxiv.org/abs/cs/0106038},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0106038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0106056,
author = {John Tromp and
Paul M. B. Vit{\'{a}}nyi},
title = {Randomized Two-Process Wait-Free Test-and-Set},
journal = {CoRR},
volume = {cs.DC/0106056},
year = {2001},
url = {https://arxiv.org/abs/cs/0106056},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0106056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0106058,
author = {Petros Maniatis and
Thomas J. Giuli and
Mary Baker},
title = {Enabling the Long-Term Archival of Signed Documents through Time Stamping},
journal = {CoRR},
volume = {cs.DC/0106058},
year = {2001},
url = {https://arxiv.org/abs/cs/0106058},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0106058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DL-0106057,
author = {Simeon Warner},
title = {Exposing and harvesting metadata using the {OAI} metadata harvesting
protocol: {A} tutorial},
journal = {CoRR},
volume = {cs.DL/0106057},
year = {2001},
url = {https://arxiv.org/abs/cs/0106057},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DL-0106057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0106001,
author = {Nadia Creignou and
Herv{\'{e}} Daud{\'{e}} and
Olivier Dubois},
title = {Approximating the satisfiability threshold for random k-XOR-formulas},
journal = {CoRR},
volume = {cs.DM/0106001},
year = {2001},
url = {https://arxiv.org/abs/cs/0106001},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0106001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0106002,
author = {Alexander Bockmayr and
Nicolai Pisaruk},
title = {Solving Assembly Line Balancing Problems by Combining {IP} and {CP}},
journal = {CoRR},
volume = {cs.DM/0106002},
year = {2001},
url = {https://arxiv.org/abs/cs/0106002},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0106002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0106014,
author = {Viacheslav Wolfengagen},
title = {L. T. Kuzin: Research Program},
journal = {CoRR},
volume = {cs.DM/0106014},
year = {2001},
url = {https://arxiv.org/abs/cs/0106014},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0106014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-GL-0106022,
author = {Krzysztof R. Apt},
title = {One More Revolution to Make: Free Scientific Publishing},
journal = {CoRR},
volume = {cs.GL/0106022},
year = {2001},
url = {https://arxiv.org/abs/cs/0106022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-GL-0106022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LG-0106036,
author = {Marcus Hutter},
title = {Convergence and Error Bounds for Universal Prediction of Nonbinary
Sequences},
journal = {CoRR},
volume = {cs.LG/0106036},
year = {2001},
url = {https://arxiv.org/abs/cs/0106036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LG-0106036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106013,
author = {Larissa Ismailova},
title = {The Set of Equations to Evaluate Objects},
journal = {CoRR},
volume = {cs.LO/0106013},
year = {2001},
url = {https://arxiv.org/abs/cs/0106013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106017,
author = {Larissa Ismailova and
Konstantin Zinchenko},
title = {An object evaluator to generate flexible applications},
journal = {CoRR},
volume = {cs.LO/0106017},
year = {2001},
url = {https://arxiv.org/abs/cs/0106017},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106018,
author = {Viacheslav Wolfengagen},
title = {Building the access pointers to a computation environment},
journal = {CoRR},
volume = {cs.LO/0106018},
year = {2001},
url = {https://arxiv.org/abs/cs/0106018},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106021,
author = {Viacheslav Wolfengagen},
title = {Object-oriented solutions},
journal = {CoRR},
volume = {cs.LO/0106021},
year = {2001},
url = {https://arxiv.org/abs/cs/0106021},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106023,
author = {Larissa Ismailova and
Konstantin Zinchenko},
title = {Object-oriented tools for advanced applications},
journal = {CoRR},
volume = {cs.LO/0106023},
year = {2001},
url = {https://arxiv.org/abs/cs/0106023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106024,
author = {Viacheslav Wolfengagen},
title = {Objects and their computational framework},
journal = {CoRR},
volume = {cs.LO/0106024},
year = {2001},
url = {https://arxiv.org/abs/cs/0106024},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106026,
author = {Larissa Ismailova and
Konstantin Zinchenko and
Lioubouv Bourmistrova},
title = {Event Driven Computations for Relational Query Language},
journal = {CoRR},
volume = {cs.LO/0106026},
year = {2001},
url = {https://arxiv.org/abs/cs/0106026},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106027,
author = {Viacheslav Wolfengagen},
title = {Event Driven Objects},
journal = {CoRR},
volume = {cs.LO/0106027},
year = {2001},
url = {https://arxiv.org/abs/cs/0106027},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106029,
author = {Larissa Ismailova and
Sergey Kosikov and
Konstantin Zinchenko and
Alexey Mikhailov and
Lioubouv Bourmistrova and
Anastassiya Berezovskaya},
title = {Building Views with Description Logics in {ADE:} Application Development
Environment},
journal = {CoRR},
volume = {cs.LO/0106029},
year = {2001},
url = {https://arxiv.org/abs/cs/0106029},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106030,
author = {Viacheslav Wolfengagen},
title = {Logic, Individuals and Concepts},
journal = {CoRR},
volume = {cs.LO/0106030},
year = {2001},
url = {https://arxiv.org/abs/cs/0106030},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106031,
author = {Stephan Tobies},
title = {Complexity Results and Practical Algorithms for Logics in Knowledge
Representation},
journal = {CoRR},
volume = {cs.LO/0106031},
year = {2001},
url = {https://arxiv.org/abs/cs/0106031},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106034,
author = {Joachim Biskup and
Jan Paredaens and
Thomas Schwentick and
Jan Van den Bussche},
title = {Solving equations in the relational algebra},
journal = {CoRR},
volume = {cs.LO/0106034},
year = {2001},
url = {https://arxiv.org/abs/cs/0106034},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106035,
author = {Jan Van den Bussche and
Emmanuel Waller},
title = {Polymorphic type inference for the relational algebra},
journal = {CoRR},
volume = {cs.LO/0106035},
year = {2001},
url = {https://arxiv.org/abs/cs/0106035},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106042,
author = {William McCune},
title = {{MACE} 2.0 Reference Manual and Guide},
journal = {CoRR},
volume = {cs.LO/0106042},
year = {2001},
url = {https://arxiv.org/abs/cs/0106042},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0106050,
author = {Dino Pedreschi and
Salvatore Ruggieri and
Jan{-}Georg Smaus},
title = {Classes of Terminating Logic Programs},
journal = {CoRR},
volume = {cs.LO/0106050},
year = {2001},
url = {https://arxiv.org/abs/cs/0106050},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-MS-0106051,
author = {E. Michael Gertz and
Philip E. Gill and
Julia Muetherig},
title = {Users Guide for SnadiOpt: {A} Package Adding Automatic Differentiation
to Snopt},
journal = {CoRR},
volume = {cs.MS/0106051},
year = {2001},
url = {https://arxiv.org/abs/cs/0106051},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-MS-0106051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NI-0106028,
author = {Lars Rasmusson},
title = {Pricing Virtual Paths with Quality-of-Service Guarantees as Bundle
Derivatives},
journal = {CoRR},
volume = {cs.NI/0106028},
year = {2001},
url = {https://arxiv.org/abs/cs/0106028},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-NI-0106028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0106049,
author = {V. G. Naidenko},
title = {Recursively Undecidable Properties of {NP}},
journal = {CoRR},
volume = {cs.OH/0106049},
year = {2001},
url = {https://arxiv.org/abs/cs/0106049},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-0106049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0106008,
author = {Maarten H. van Emden},
title = {Computing Functional and Relational Box Consistency by Structured
Propagation in Atomic Constraint Systems},
journal = {CoRR},
volume = {cs.PL/0106008},
year = {2001},
url = {https://arxiv.org/abs/cs/0106008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0106008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0106052,
author = {Danny De Schreye and
Alexander Serebrenik},
title = {Acceptability with general orderings},
journal = {CoRR},
volume = {cs.PL/0106052},
year = {2001},
url = {https://arxiv.org/abs/cs/0106052},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0106052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0106053,
author = {Alexander Serebrenik and
Danny De Schreye},
title = {Inference of termination conditions for numerical loops},
journal = {CoRR},
volume = {cs.PL/0106053},
year = {2001},
url = {https://arxiv.org/abs/cs/0106053},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0106053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0106059,
author = {Henning Christiansen},
title = {{CHR} as grammar formalism. {A} first report},
journal = {CoRR},
volume = {cs.PL/0106059},
year = {2001},
url = {https://arxiv.org/abs/cs/0106059},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0106059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0106009,
author = {Aspassia Daskalopulu},
title = {Model Checking Contractual Protocols},
journal = {CoRR},
volume = {cs.SE/0106009},
year = {2001},
url = {https://arxiv.org/abs/cs/0106009},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0106009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/physics-0106045,
author = {Joseph F. Traub},
title = {A Continuous Model of Computation},
journal = {CoRR},
volume = {physics/0106045},
year = {2001},
url = {http://arxiv.org/abs/physics/0106045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/physics-0106045.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-19 05:08 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:
