default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Anil Nerode
@article{DBLP:journals/igpl/Nerode23,
author = {Anil Nerode},
title = {John Crossley: {A} life intellectual},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1023},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzad001},
doi = {10.1093/JIGPAL/JZAD001},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Nerode23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArtemovN22,
author = {Sergei Artemov and
Anil Nerode},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {32},
number = {8},
pages = {1486},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac080},
doi = {10.1093/LOGCOM/EXAC080},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ArtemovN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2022,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1},
doi = {10.1007/978-3-030-93100-1},
isbn = {978-3-030-93099-8},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArtemovN21,
author = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {31},
number = {1},
pages = {1},
year = {2021},
url = {https://doi.org/10.1093/logcom/exaa089},
doi = {10.1093/LOGCOM/EXAA089},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ArtemovN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArtemovN20,
author = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Special Issue on Logical Foundations of Computer Science},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {1},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa026},
doi = {10.1093/LOGCOM/EXAA026},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ArtemovN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArtemovN20a,
author = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {30},
number = {8},
pages = {1429},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa064},
doi = {10.1093/LOGCOM/EXAA064},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ArtemovN20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2020,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8},
doi = {10.1007/978-3-030-36755-8},
isbn = {978-3-030-36754-1},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2018,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2},
doi = {10.1007/978-3-319-72056-2},
isbn = {978-3-319-72055-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Nerode17,
author = {Anil Nerode},
editor = {Adam R. Day and
Michael R. Fellows and
Noam Greenberg and
Bakhadyr Khoussainov and
Alexander G. Melnikov and
Frances A. Rosamond},
title = {Prequel to the Cornell Computer Science Department},
booktitle = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10010},
pages = {19--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50062-1\_3},
doi = {10.1007/978-3-319-50062-1\_3},
timestamp = {Sun, 25 Oct 2020 23:08:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Nerode17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Nerode16,
author = {Anil Nerode},
title = {In Memoriam: Hartley Rogers, Jr. 1926-2015},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {294--297},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.13},
doi = {10.1017/BSL.2016.13},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Nerode16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2016,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0},
doi = {10.1007/978-3-319-27683-0},
isbn = {978-3-319-27682-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsg/KohnZN15,
author = {Wolf Kohn and
Zelda B. Zabinsky and
Anil Nerode},
title = {A Micro-Grid Distributed Intelligent Control and Management System},
journal = {{IEEE} Trans. Smart Grid},
volume = {6},
number = {6},
pages = {2964--2974},
year = {2015},
url = {https://doi.org/10.1109/TSG.2015.2455512},
doi = {10.1109/TSG.2015.2455512},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsg/KohnZN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeF14,
author = {Anil Nerode and
Melvin Fitting},
title = {Editorial},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.001},
doi = {10.1016/J.APAL.2013.07.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeF14a,
author = {Anil Nerode and
Melvin Fitting},
title = {The life and work of Sergei Artemov},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {3--5},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.002},
doi = {10.1016/J.APAL.2013.07.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeF14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/Nerode14,
author = {Anil Nerode},
editor = {Rod Downey},
title = {Musings on Turing's Thesis},
booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
series = {Lecture Notes in Logic},
volume = {42},
pages = {386--396},
publisher = {Cambridge University Press},
year = {2014},
url = {https://doi.org/10.1017/CBO9781107338579.011},
doi = {10.1017/CBO9781107338579.011},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/books/cu/p/Nerode14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2013,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0},
doi = {10.1007/978-3-642-35722-0},
isbn = {978-3-642-35721-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArtemovN12,
author = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {7},
pages = {743--744},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.09.020},
doi = {10.1016/J.APAL.2011.09.020},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ArtemovN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Nerode12,
author = {Anil Nerode},
editor = {Robert L. Constable and
Alexandra Silva},
title = {A Small Tribute},
booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7230},
pages = {333},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29485-3\_27},
doi = {10.1007/978-3-642-29485-3\_27},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Nerode12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/Nerode10,
author = {Anil Nerode},
title = {Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon
Feferman},
journal = {Am. Math. Mon.},
volume = {117},
number = {3},
pages = {286--288},
year = {2010},
url = {https://doi.org/10.4169/000298910X480144},
doi = {10.4169/000298910X480144},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/Nerode10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kjos-HanssenN09,
author = {Bj{\o}rn Kjos{-}Hanssen and
Anil Nerode},
title = {Effective dimension of points visited by Brownian motion},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {4-5},
pages = {347--354},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.045},
doi = {10.1016/J.TCS.2008.09.045},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kjos-HanssenN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2009,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0},
doi = {10.1007/978-3-540-92687-0},
isbn = {978-3-540-92686-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NerodeR08,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Consistency properties and set based logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
pages = {289--311},
year = {2008},
url = {https://doi.org/10.1007/s10472-009-9117-x},
doi = {10.1007/S10472-009-9117-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/NerodeR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/KhoussainovN08,
author = {Bakhadyr Khoussainov and
Anil Nerode},
title = {Open Questions in the Theory of Automatic Structures},
journal = {Bull. {EATCS}},
volume = {94},
pages = {181--204},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/KhoussainovN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Nerode07,
author = {Anil Nerode},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Logic and Control},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {585--597},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_61},
doi = {10.1007/978-3-540-73001-9\_61},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Nerode07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GottipatiN07,
author = {Srikanth Gottipati and
Anil Nerode},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Synthesis Algorithm for Hybrid Systems},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {254--268},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_18},
doi = {10.1007/978-3-540-72734-7\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GottipatiN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Kjos-HanssenN07,
author = {Bj{\o}rn Kjos{-}Hanssen and
Anil Nerode},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Law of the Iterated Logarithm for Algorithmically Random Brownian
Motion},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {310--317},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_22},
doi = {10.1007/978-3-540-72734-7\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Kjos-HanssenN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sws/DhankharKWN07,
author = {Vijayant Dhankhar and
Saket Kaushik and
Duminda Wijesekera and
Anil Nerode},
editor = {Peng Ning and
Ernesto Damiani and
Seth Proctor},
title = {Evaluating distributed xacml policies},
booktitle = {Proceedings of the 4th {ACM} Workshop On Secure Web Services, {SWS}
2007, Fairfax, VA, USA, November 2, 2007},
pages = {99--110},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1314418.1314434},
doi = {10.1145/1314418.1314434},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sws/DhankharKWN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2007,
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7},
doi = {10.1007/978-3-540-72734-7},
isbn = {978-3-540-72732-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WijesekeraN05,
author = {Duminda Wijesekera and
Anil Nerode},
title = {Tableaux for constructive concurrent dynamic logic},
journal = {Ann. Pure Appl. Log.},
volume = {135},
number = {1-3},
pages = {1--72},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.12.001},
doi = {10.1016/J.APAL.2004.12.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/WijesekeraN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/WijesekeraMN05,
author = {Duminda Wijesekera and
James Bret Michael and
Anil Nerode},
title = {An Agent-Based Framework for Assessing Missile Defense Doctrine and
Policy},
booktitle = {6th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden},
pages = {115--118},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/POLICY.2005.4},
doi = {10.1109/POLICY.2005.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/WijesekeraMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Nerode04,
author = {Anil Nerode},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {126},
number = {1-3},
pages = {1--2},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2003.10.015},
doi = {10.1016/J.APAL.2003.10.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Nerode04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GanguliN04,
author = {Suman Ganguli and
Anil Nerode},
title = {Effective completeness theorems for modal logic},
journal = {Ann. Pure Appl. Log.},
volume = {128},
number = {1-3},
pages = {141--195},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2003.12.001},
doi = {10.1016/J.APAL.2003.12.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GanguliN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DavorenMGCN04,
author = {Jennifer M. Davoren and
Thomas Moor and
Rajeev Gor{\'{e}} and
Vaughan Coulthard and
Anil Nerode},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {On Two-Sided Approximate Model-Checking: Problem Formulation and Solution
via Finite Topologies},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {52--67},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_6},
doi = {10.1007/978-3-540-30206-3\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/DavorenMGCN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KoNW02,
author = {Ker{-}I Ko and
Anil Nerode and
Klaus Weihrauch},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {284},
number = {2},
pages = {197},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00056-1},
doi = {10.1016/S0304-3975(01)00056-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KoNW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DavorenMN02,
author = {Jennifer M. Davoren and
Thomas Moor and
Anil Nerode},
editor = {Claire J. Tomlin and
Mark R. Greenstreet},
title = {Hybrid Control Loops, {A/D} Maps, and Dynamic Specifications},
booktitle = {Hybrid Systems: Computation and Control, 5th International Workshop,
{HSCC} 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2289},
pages = {149--163},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45873-5\_14},
doi = {10.1007/3-540-45873-5\_14},
timestamp = {Thu, 26 Nov 2020 09:12:16 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DavorenMN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WijesekeraGSN01,
author = {Duminda Wijesekera and
M. Ganesh and
Jaideep Srivastava and
Anil Nerode},
title = {Normal forms and syntactic completeness proofs for functional independencies},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {365--405},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00195-X},
doi = {10.1016/S0304-3975(00)00195-X},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WijesekeraGSN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/DavorenN00,
author = {Jennifer M. Davoren and
Anil Nerode},
title = {Logics for hybrid systems},
journal = {Proc. {IEEE}},
volume = {88},
number = {7},
pages = {985--1010},
year = {2000},
url = {https://doi.org/10.1109/5.871305},
doi = {10.1109/5.871305},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/DavorenN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/LeeGN00,
author = {Tony S. Lee and
Sumit Ghosh and
Anil Nerode},
title = {Asynchronous, distributed, decision-making systems with semi-autonomous
entities: a mathematical framework},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {30},
number = {1},
pages = {229--239},
year = {2000},
url = {https://doi.org/10.1109/3477.826966},
doi = {10.1109/3477.826966},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/LeeGN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekNR99,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Logic Programs, Well-Orderings, and Forward Chaining},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {231--276},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00041-4},
doi = {10.1016/S0168-0072(98)00041-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekNR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mms/WijesekeraSNF99,
author = {Duminda Wijesekera and
Jaideep Srivastava and
Anil Nerode and
Mark Foresti},
title = {Experimental Evaluation of Loss Perception in Continuous Media},
journal = {Multim. Syst.},
volume = {7},
number = {6},
pages = {486--499},
year = {1999},
url = {https://doi.org/10.1007/s005300050149},
doi = {10.1007/S005300050149},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mms/WijesekeraSNF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/LeeGN99,
author = {Tony S. Lee and
Sumit Ghosh and
Anil Nerode},
title = {A Mathematical Framework for Asynchronous, Distributed, Decision-Making
Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation,
and Evaluation},
booktitle = {The Fourth International Symposium on Autonomous Decentralized Systems,
{ISADS} 1999, Tokyo, Japan, March 20-23, 1999},
pages = {206--212},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISADS.1999.838435},
doi = {10.1109/ISADS.1999.838435},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/LeeGN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1997,
editor = {Panos J. Antsaklis and
Wolf Kohn and
Michael D. Lemmon and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Systems V, Proceedings of the Fifth International Workshop
on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1567},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49163-5},
doi = {10.1007/3-540-49163-5},
isbn = {3-540-65643-X},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/IshiharaKN98,
author = {Hajime Ishihara and
Bakhadyr Khoussainov and
Anil Nerode},
title = {Decidable Kripke Models of Intuitionistic Theories},
journal = {Ann. Pure Appl. Log.},
volume = {93},
number = {1-3},
pages = {115--123},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00057-2},
doi = {10.1016/S0168-0072(97)00057-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/IshiharaKN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IshiharaKN98,
author = {Hajime Ishihara and
Bakhadyr Khoussainov and
Anil Nerode},
title = {Computable Kripke Models and Intermediate Logics},
journal = {Inf. Comput.},
volume = {143},
number = {2},
pages = {205--230},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2704},
doi = {10.1006/INCO.1998.2704},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/IshiharaKN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/AntsaklisN98,
author = {Panos J. Antsaklis and
Anil Nerode},
title = {Hybrid Control Systems: An Introductory Discussion to the Special
Issue},
journal = {{IEEE} Trans. Autom. Control.},
volume = {43},
number = {4},
pages = {457--460},
year = {1998},
url = {https://doi.org/10.1109/TAC.1998.664148},
doi = {10.1109/TAC.1998.664148},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/AntsaklisN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismse/WijesekeraVPSN98,
author = {Duminda Wijesekera and
Srivatsan Varadarajan and
Shwetal S. Parikh and
Jaideep Srivastava and
Anil Nerode},
title = {Performance evaluation of media losses in the Continuous Media Toolkit},
booktitle = {Proceedings of the 1998 International Workshop on Multimedia Software
Engineering, {MSE} 1998, Kyoto, Japan, April 20-21, 1998},
pages = {60--67},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/MMSE.1998.722944},
doi = {10.1109/MMSE.1998.722944},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismse/WijesekeraVPSN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0086276,
author = {Anil Nerode and
Richard A. Shore},
title = {Logic for Applications, Second Edition},
series = {Graduate Texts in Computer Science},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4612-0649-1},
doi = {10.1007/978-1-4612-0649-1},
isbn = {978-0-387-94893-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0086276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Nonmonotonic rule systems with recursive sets of restraints},
journal = {Arch. Math. Log.},
volume = {36},
number = {4-5},
pages = {339--384},
year = {1997},
url = {https://doi.org/10.1007/s001530050070},
doi = {10.1007/S001530050070},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity of Recursive Normal Default Logic},
journal = {Fundam. Informaticae},
volume = {32},
number = {2},
pages = {139--147},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-32203},
doi = {10.3233/FI-1997-32203},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NerodeRS97,
author = {Anil Nerode and
Jeffrey B. Remmel and
V. S. Subrahmanian},
title = {Annotated Nonmonotonic Rule Systems},
journal = {Theor. Comput. Sci.},
volume = {171},
number = {1-2},
pages = {111--146},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00127-2},
doi = {10.1016/S0304-3975(96)00127-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NerodeRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnNR97,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Michael D. Lemmon and
Anil Nerode and
Shankar Sastry},
title = {Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems},
booktitle = {Hybrid Systems V, Proceedings of the Fifth International Workshop
on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1567},
pages = {122--141},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49163-5\_7},
doi = {10.1007/3-540-49163-5\_7},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SkafidasEYMN97,
author = {Efstratios Skafidas and
Robin J. Evans and
Iven M. Y. Mareels and
Anil Nerode},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Michael D. Lemmon and
Anil Nerode and
Shankar Sastry},
title = {Optimal Controller Switching for Stochastic Systems},
booktitle = {Hybrid Systems V, Proceedings of the Fifth International Workshop
on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1567},
pages = {341--355},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49163-5\_19},
doi = {10.1007/3-540-49163-5\_19},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/SkafidasEYMN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArtemovDN97,
author = {Sergei N. Art{\"{e}}mov and
Jennifer M. Davoren and
Anil Nerode},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Topological Semantics for Hybrid Systems},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {1--8},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_1},
doi = {10.1007/3-540-63045-7\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArtemovDN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Basic Forward Chaining Construction for Logic Programs},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {214--225},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_22},
doi = {10.1007/3-540-63045-7\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/WijesekeraGSN97,
author = {Duminda Wijesekera and
M. Ganesh and
Jaideep Srivastava and
Anil Nerode},
editor = {Didier Galmiche},
title = {Tableaux for Functional Dependencies and Independencies},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1227},
pages = {358--372},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027426},
doi = {10.1007/BFB0027426},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/WijesekeraGSN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1996,
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0031551},
doi = {10.1007/BFB0031551},
isbn = {3-540-63358-8},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1997,
editor = {Sergei I. Adian and
Anil Nerode},
title = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7},
doi = {10.1007/3-540-63045-7},
isbn = {3-540-63045-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1997,
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7},
doi = {10.1007/3-540-63255-7},
isbn = {3-540-63255-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MatiyasevichN96,
author = {Yuri V. Matiyasevich and
Anil Nerode},
title = {Preface - Papers in honor of the Symposium on Logical Foundations
of Computer Science "Logic at St. Petersburg"},
journal = {Ann. Pure Appl. Log.},
volume = {78},
number = {1-3},
pages = {1},
year = {1996},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MatiyasevichN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GeN96,
author = {Xiaolin Ge and
Anil Nerode},
title = {Effective Content of the Calculus of Variations {I:} Semi-Continuity
and the Chattering Lemma},
journal = {Ann. Pure Appl. Log.},
volume = {78},
number = {1-3},
pages = {127--146},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00034-8},
doi = {10.1016/0168-0072(95)00034-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GeN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeRY96,
author = {Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
title = {McNaughton Games and Extracting Strategies for Concurrent Programs},
journal = {Ann. Pure Appl. Log.},
volume = {78},
number = {1-3},
pages = {203--242},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00032-1},
doi = {10.1016/0168-0072(95)00032-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeRY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeS96,
author = {Anil Nerode and
Gerald E. Sacks},
title = {Preface - Special Volume Dedicated to the late Stephen Cole Kleene},
journal = {Ann. Pure Appl. Log.},
volume = {81},
number = {1-3},
pages = {1},
year = {1996},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeR96,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {On the Lattices of NP-Subspaces of a Polynomial Time Vector Space
over a Finite Field},
journal = {Ann. Pure Appl. Log.},
volume = {81},
number = {1-3},
pages = {125--170},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00051-8},
doi = {10.1016/0168-0072(95)00051-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KaganNS96,
author = {Vadim Kagan and
Anil Nerode and
V. S. Subrahmanian},
title = {Computing Minimal Models by Partial Instantiation},
journal = {Theor. Comput. Sci.},
volume = {155},
number = {1},
pages = {157--177},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(94)00216-9},
doi = {10.1016/0304-3975(94)00216-9},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KaganNS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GottlobMNSS96,
author = {Georg Gottlob and
Sherry Marcus and
Anil Nerode and
Gernot Salzer and
V. S. Subrahmanian},
title = {A Non-Ground Realization of the Stable and Well-Founded Semantics},
journal = {Theor. Comput. Sci.},
volume = {166},
number = {1{\&}2},
pages = {221--262},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00207-3},
doi = {10.1016/0304-3975(95)00207-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GottlobMNSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/LuNS96,
author = {James J. Lu and
Anil Nerode and
V. S. Subrahmanian},
title = {Hybrid Knowledge Bases},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {8},
number = {5},
pages = {773--785},
year = {1996},
url = {https://doi.org/10.1109/69.542029},
doi = {10.1109/69.542029},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/LuNS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BellNNS96,
author = {Colin Bell and
Anil Nerode and
Raymond T. Ng and
V. S. Subrahmanian},
title = {Implementing Deductive Databases by Mixed Integer Programming},
journal = {{ACM} Trans. Database Syst.},
volume = {21},
number = {2},
pages = {238--269},
year = {1996},
url = {https://doi.org/10.1145/232616.232691},
doi = {10.1145/232616.232691},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BellNNS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnNR96,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Agent Based Velocity Control of Highway Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {174--214},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031561},
doi = {10.1007/BFB0031561},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NerodeRY96,
author = {Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid System Games: Extraction of Control Automata with Small Topologies},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {248--293},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031565},
doi = {10.1007/BFB0031565},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NerodeRY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR96,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {On the Complexity of Abduction},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {513--522},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561468},
doi = {10.1109/LICS.1996.561468},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NerodeNS95,
author = {Anil Nerode and
Raymond T. Ng and
V. S. Subrahmanian},
title = {Computing Circumscriptive Databases: I. Theory and Algorithms},
journal = {Inf. Comput.},
volume = {116},
number = {1},
pages = {58--80},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1005},
doi = {10.1006/INCO.1995.1005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NerodeNS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KohnNRY95,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
title = {Viability in Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {141--168},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00150-H},
doi = {10.1016/0304-3975(94)00150-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KohnNRY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GeKNR95,
author = {Xiaolin Ge and
Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid Systems: Chattering Approximation to Relaxed Controls},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {76--100},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020937},
doi = {10.1007/BFB0020937},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GeKNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR95,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity of Normal Default Logic and Related Modes of Nonmonotonic
Reasoning},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {178--185},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523255},
doi = {10.1109/LICS.1995.523255},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekNR95,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {On Logical Constraints in Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {43--56},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_4},
doi = {10.1007/3-540-59487-6\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1994,
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60472-3},
doi = {10.1007/3-540-60472-3},
isbn = {3-540-60472-3},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1995,
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6},
doi = {10.1007/3-540-59487-6},
isbn = {3-540-59487-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeT94,
author = {Anil Nerode and
Michael A. Taitslin},
title = {A Selection of Papers Presented at the Symposium "Logic at Tver
'92" - Preface},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {1},
year = {1994},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KaganNS94,
author = {Vadim Kagan and
Anil Nerode and
V. S. Subrahmanian},
title = {Computing Definite Logic Programs by Partial Instantiation},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {161--182},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90010-8},
doi = {10.1016/0168-0072(94)90010-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KaganNS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic
Rule Systems},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {269--323},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90013-2},
doi = {10.1016/0168-0072(94)90013-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BellNNS94,
author = {Colin Bell and
Anil Nerode and
Raymond T. Ng and
V. S. Subrahmanian},
title = {Mixed Integer Programming Methods for Computing Nonmonotonic Deductive
Databases},
journal = {J. {ACM}},
volume = {41},
number = {6},
pages = {1178--1215},
year = {1994},
url = {https://doi.org/10.1145/195613.195637},
doi = {10.1145/195613.195637},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BellNNS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {The Stable Models of a Predicate Logic Program},
journal = {J. Log. Program.},
volume = {21},
number = {3},
pages = {129--153},
year = {1994},
timestamp = {Thu, 27 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlcs/NerodeMS94,
author = {Anil Nerode and
Victor W. Marek and
V. S. Subrahmanian},
title = {Introduction},
journal = {Methods Log. Comput. Sci.},
volume = {1},
number = {1},
pages = {1--3},
year = {1994},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlcs/NerodeMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnNR94,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation
to Connections},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {294--321},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_15},
doi = {10.1007/3-540-60472-3\_15},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NerodeRY94,
author = {Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Controllers as Fixed Points of Set-Valued Operators},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {344--358},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_17},
doi = {10.1007/3-540-60472-3\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NerodeRY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/KhoussainovN94,
author = {Bakhadyr Khoussainov and
Anil Nerode},
editor = {Daniel Leivant},
title = {Automatic Presentations of Structures},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {367--392},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_93},
doi = {10.1007/3-540-60178-3\_93},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lcc/KhoussainovN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GeN94,
author = {Xiaolin Ge and
Anil Nerode},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {On Extreme Points of Convex Compact Turing Located Set},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {114--128},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_12},
doi = {10.1007/3-540-58140-5\_12},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GeN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KhoussainovN94,
author = {Bakhadyr Khoussainov and
Anil Nerode},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {The Notion of Rank and Games},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {204--217},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_21},
doi = {10.1007/3-540-58140-5\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KhoussainovN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Peter Z. Revesz and
Divesh Srivastava and
Peter J. Stuckey and
S. Sudarshan},
title = {On Logical Constraints in Logic Programming},
booktitle = {{ILPS} 1994, Workshop 2: Constraints and Databases, Ithaca, New York,
USA, November 17, 1994},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1994,
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5},
doi = {10.1007/3-540-58140-5},
isbn = {3-540-58140-5},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071923,
author = {Anil Nerode and
Richard A. Shore},
title = {Logic for Applications},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4684-0211-7},
doi = {10.1007/978-1-4684-0211-7},
isbn = {978-0-387-94129-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NerodeK93,
author = {Anil Nerode and
Wolf Kohn},
editor = {David Scott Warren},
title = {Hybrid Systems and Constraint Logic Programming},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {18--24},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/NerodeK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KohnN93,
author = {Wolf Kohn and
Anil Nerode},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Autonomous Control of Hybrid Systems with Declarative Controllers},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {3--22},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/KohnN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BellNNS93,
author = {Colin Bell and
Anil Nerode and
Raymond T. Ng and
V. S. Subrahmanian},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Implementing Stable Semantics by Linear Programming},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {23--42},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BellNNS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1992,
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57318-6},
doi = {10.1007/3-540-57318-6},
isbn = {3-540-57318-6},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1993,
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
publisher = {{MIT} Press},
year = {1993},
isbn = {0-262-66083-0},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekNR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems {II}},
journal = {Ann. Math. Artif. Intell.},
volume = {5},
number = {2-4},
pages = {229--263},
year = {1992},
url = {https://doi.org/10.1007/BF01543477},
doi = {10.1007/BF01543477},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekNR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {How Complicated is the Set of Stable Models of a Recursive Logic Program?},
journal = {Ann. Pure Appl. Log.},
volume = {56},
number = {1-3},
pages = {119--135},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90069-C},
doi = {10.1016/0168-0072(92)90069-C},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GrossmanNRR92,
author = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Introduction},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {1--3},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_21},
doi = {10.1007/3-540-57318-6\_21},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GrossmanNRR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NerodeK92,
author = {Anil Nerode and
Wolf Kohn},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Multiple Agent Hybrid Control Architecture},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {297--316},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_34},
doi = {10.1007/3-540-57318-6\_34},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NerodeK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NerodeK92a,
author = {Anil Nerode and
Wolf Kohn},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Models for Hybrid Systems: Automata, Topologies, Controllability,
Observability},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {317--356},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_35},
doi = {10.1007/3-540-57318-6\_35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NerodeK92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekNR92a,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Rule Systems and Well-Orderings},
booktitle = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
pages = {69--92},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Thu, 21 Jun 2018 07:36:34 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarekNR92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekNR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Krzysztof R. Apt},
title = {The Stable Models of a Predicate Logic Program},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {446--460},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MarekNR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BellNNS92,
author = {Colin Bell and
Anil Nerode and
Raymond T. Ng and
V. S. Subrahmanian},
editor = {Moshe Y. Vardi and
Paris C. Kanellakis},
title = {Implementing Deductive Databases by Linear Programming},
booktitle = {Proceedings of the Eleventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 2-4, 1992, San Diego, California,
{USA}},
pages = {283--292},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/137097.137892},
doi = {10.1145/137097.137892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BellNNS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1992w1,
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Thu, 21 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1992w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1992,
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023857},
doi = {10.1007/BFB0023857},
isbn = {3-540-55707-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1991,
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
publisher = {The {MIT} Press},
year = {1991},
isbn = {0-262-64027-9},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekNR90,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems {I}},
journal = {Ann. Math. Artif. Intell.},
volume = {1},
pages = {241--273},
year = {1990},
url = {https://doi.org/10.1007/BF01531080},
doi = {10.1007/BF01531080},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekNR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR90,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {79--94},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113736},
doi = {10.1109/LICS.1990.113736},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1990,
editor = {V. Wiktor Marek and
Anil Nerode and
Dino Pedreschi and
V. S. Subrahmanian},
title = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
Austin, TX, USA, November 1-2, 1990},
year = {1990},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeR89,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity-Theoretic Algebra {II:} Boolean Algebras},
journal = {Ann. Pure Appl. Log.},
volume = {44},
number = {1-2},
pages = {71--99},
year = {1989},
url = {https://doi.org/10.1016/0168-0072(89)90047-X},
doi = {10.1016/0168-0072(89)90047-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NerodeRS89,
author = {Anil Nerode and
Jeffrey B. Remmel and
Andre Scedrov},
title = {Polynomially Grade Logic {I:} {A} Graded Version of System {T}},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {375--385},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39192},
doi = {10.1109/LICS.1989.39192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NerodeRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/NerodeR87,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity theoretic algebra {I} - vector spaces over finite fields},
booktitle = {Proceedings of the Second Annual Conference on Structure in Complexity
Theory, Cornell University, Ithaca, New York, USA, June 16-19, 1987},
pages = {218--239},
publisher = {{IEEE} Computer Society},
year = {1987},
url = {https://ieeexplore.ieee.org/document/10319273},
timestamp = {Tue, 21 Nov 2023 11:59:25 +0100},
biburl = {https://dblp.org/rec/conf/coco/NerodeR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeR86,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Generic objects in recursion theory {II:} Operations on recursive
approximation spaces},
journal = {Ann. Pure Appl. Log.},
volume = {31},
pages = {257--288},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90073-4},
doi = {10.1016/0168-0072(86)90073-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Nerode86,
author = {Anil Nerode},
title = {A Logician Looks at Expert Systems: Areas for Mathematical Research
(Abstract of Invited Lecture)},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {120},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Nerode86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NerodeB73,
author = {Anil Nerode and
K. Jon Barwise},
title = {Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {348--358},
year = {1973},
url = {https://doi.org/10.2307/2272113},
doi = {10.2307/2272113},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NerodeB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NerodeM70,
author = {Anil Nerode and
Alfred B. Manaster},
title = {A Universal Embedding Property of the RETs},
journal = {J. Symb. Log.},
volume = {35},
number = {1},
pages = {51--59},
year = {1970},
url = {https://doi.org/10.1017/S0022481200092227},
doi = {10.1017/S0022481200092227},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NerodeM70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-05-02 21:48 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:
