Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paliath Narendran
@article{DBLP:journals/corr/abs-2306-09602,
author = {Deepak Kapur and
Paliath Narendran},
title = {Existence and Construction of a Gr{\"{o}}bner Basis for a Polynomial
Ideal},
journal = {CoRR},
volume = {abs/2306.09602},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.09602},
doi = {10.48550/ARXIV.2306.09602},
eprinttype = {arXiv},
eprint = {2306.09602},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-09602.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/IyerMN22,
author = {Padmavathi Iyer and
Amirreza Masoumzadeh and
Paliath Narendran},
title = {On the Expressive Power of Negated Conditions and Negative Authorizations
in Access Control Models},
journal = {Comput. Secur.},
volume = {116},
pages = {102586},
year = {2022},
url = {https://doi.org/10.1016/j.cose.2021.102586},
doi = {10.1016/J.COSE.2021.102586},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/IyerMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10321,
author = {Dalton Chichester and
Wei Du and
Raymond Kauffman and
Hai Lin and
Christopher Lynch and
Andrew M. Marshall and
Catherine A. Meadows and
Paliath Narendran and
Veena Ravishankar and
Luis Rovira and
Brandon Rozek},
editor = {Pierre Ganty and
Dario Della Monica},
title = {CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic
Algorithms},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {147--161},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.10},
doi = {10.4204/EPTCS.370.10},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LinLMMNRR21,
author = {Hai Lin and
Christopher Lynch and
Andrew M. Marshall and
Catherine A. Meadows and
Paliath Narendran and
Veena Ravishankar and
Brandon Rozek},
editor = {Boris Konev and
Giles Reger},
title = {Algorithmic Problems in the Symbolic Approach to the Verification
of Automatically Synthesized Cryptosystems},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {253--270},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_14},
doi = {10.1007/978-3-030-86205-3\_14},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LinLMMNRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/MasoumzadehNI21,
author = {Amirreza Masoumzadeh and
Paliath Narendran and
Padmavathi Iyer},
editor = {Jorge Lobo and
Roberto Di Pietro and
Omar Chowdhury and
Hongxin Hu},
title = {Towards a Theory for Semantics and Expressiveness Analysis of Rule-Based
Access Control Models},
booktitle = {{SACMAT} '21: The 26th {ACM} Symposium on Access Control Models and
Technologies, Virtual Event, Spain, June 16-18, 2021},
pages = {33--43},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3450569.3463569},
doi = {10.1145/3450569.3463569},
timestamp = {Fri, 08 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/MasoumzadehNI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-00386,
author = {Z{\"{u}}mr{\"{u}}t Ak{\c{c}}am and
Daniel S. Hono II and
Paliath Narendran and
Andrew Pulver},
title = {On Problems Dual to Unification: The String-Rewriting Case},
journal = {CoRR},
volume = {abs/2103.00386},
year = {2021},
url = {https://arxiv.org/abs/2103.00386},
eprinttype = {arXiv},
eprint = {2103.00386},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-00386.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/MarshallMNRR20,
author = {Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Veena Ravishankar and
Brandon Rozek},
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
pages = {10:1--10:6},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=58},
timestamp = {Wed, 20 Sep 2023 10:23:47 +0200},
biburl = {https://dblp.org/rec/conf/unif/MarshallMNRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/NarendranAZ20,
author = {Paliath Narendran and
Saumya Arora and
Yu Zhang},
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {An Improved Algorithm for Testing Whether a Special String Rewriting
System is Confluent},
booktitle = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
pages = {11:1--11:6},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=64},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/NarendranAZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/NarendranSZ20,
author = {Paliath Narendran and
Ashley Suchy and
Yu Zhang},
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {Some Results on Prefix Grammars},
booktitle = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
pages = {12:1--12:6},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=70},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/NarendranSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RavishankarCN19,
author = {Veena Ravishankar and
Kimberly A. Cornell and
Paliath Narendran},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Asymmetric Unification and Disunification},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {497--522},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_23},
doi = {10.1007/978-3-030-22102-7\_23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RavishankarCN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AnantharamanHNR19,
author = {Siva Anantharaman and
Peter Hibbs and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Pascal Fontaine},
title = {Unification Modulo Lists with Reverse Relation with Certain Word Equations},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {1--17},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_1},
doi = {10.1007/978-3-030-29436-6\_1},
timestamp = {Wed, 21 Aug 2019 13:34:20 +0200},
biburl = {https://dblp.org/rec/conf/cade/AnantharamanHNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LynchMMNR19,
author = {Christopher Lynch and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Veena Ravishankar},
editor = {Andreas Herzig and
Andrei Popescu},
title = {On Asymmetric Unification for the Theory of {XOR} with a Homomorphism},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {297--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_17},
doi = {10.1007/978-3-030-29007-8\_17},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LynchMMNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KimLN19,
author = {Dohan Kim and
Christopher Lynch and
Paliath Narendran},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Reviving Basic Narrowing Modulo},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {313--329},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_18},
doi = {10.1007/978-3-030-29007-8\_18},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KimLN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00227,
author = {Christopher Lynch and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Veena Ravishankar},
title = {On Asymmetric Unification for the Theory of {XOR} with a Homomorphism},
journal = {CoRR},
volume = {abs/1907.00227},
year = {2019},
url = {http://arxiv.org/abs/1907.00227},
eprinttype = {arXiv},
eprint = {1907.00227},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RavishankarGN17,
author = {Veena Ravishankar and
Kimberly A. Gero and
Paliath Narendran},
title = {Asymmetric Unification and Disunification},
journal = {CoRR},
volume = {abs/1706.05066},
year = {2017},
url = {http://arxiv.org/abs/1706.05066},
eprinttype = {arXiv},
eprint = {1706.05066},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RavishankarGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AkcamHN17,
author = {Z{\"{u}}mr{\"{u}}t Ak{\c{c}}am and
Daniel S. Hono II and
Paliath Narendran},
title = {On Problems Dual to Unification},
journal = {CoRR},
volume = {abs/1706.05607},
year = {2017},
url = {http://arxiv.org/abs/1706.05607},
eprinttype = {arXiv},
eprint = {1706.05607},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AkcamHN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/HonoNV16,
author = {Daniel S. Hono II and
Paliath Narendran and
Rafael Veras},
editor = {Silvio Ghilardi and
Manfred Schmidt{-}Schau{\ss}},
title = {Lynch-Morawska Systems on Strings},
booktitle = {Proceedings of the 30th International Workshop on Unification, {UNIF}
2016, Porto, Portugal, June 26, 2016},
pages = {19--24},
year = {2016},
url = {http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf\#page=19},
timestamp = {Tue, 19 Sep 2023 16:43:02 +0200},
biburl = {https://dblp.org/rec/conf/unif/HonoNV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/HonoGGNS16,
author = {Daniel S. Hono II and
Namrata Galatage and
Kimberly A. Gero and
Paliath Narendran and
Ananya Subburathinam},
editor = {Silvio Ghilardi and
Manfred Schmidt{-}Schau{\ss}},
title = {Notes on Lynch-Morawska Systems},
booktitle = {Proceedings of the 30th International Workshop on Unification, {UNIF}
2016, Porto, Portugal, June 26, 2016},
pages = {25--30},
year = {2016},
url = {http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf\#page=25},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/HonoGGNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HonoGGNS16,
author = {Daniel S. Hono II and
Namrata Galatage and
Kimberly A. Gero and
Paliath Narendran and
Ananya Subburathinam},
title = {Notes on Lynch-Morawska Systems},
journal = {CoRR},
volume = {abs/1604.06139},
year = {2016},
url = {http://arxiv.org/abs/1604.06139},
eprinttype = {arXiv},
eprint = {1604.06139},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HonoGGNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HonoNV16,
author = {Daniel S. Hono II and
Paliath Narendran and
Rafael Veras},
title = {Lynch-Morawska Systems on Strings},
journal = {CoRR},
volume = {abs/1604.06509},
year = {2016},
url = {http://arxiv.org/abs/1604.06509},
eprinttype = {arXiv},
eprint = {1604.06509},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HonoNV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MarshallMN15,
author = {Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran},
title = {On Unification Modulo One-Sided Distributivity: Algorithms, Variants
and Asymmetry},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {2},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(2:11)2015},
doi = {10.2168/LMCS-11(2:11)2015},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MarshallMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ErbaturKMNR15,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Unification and Matching in Hierarchical Combinations of Syntactic
Theories},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {291--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_18},
doi = {10.1007/978-3-319-24246-0\_18},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ErbaturKMNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnantharamanBNR14,
author = {Siva Anantharaman and
Christopher Bouchard and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Unification modulo a 2-sorted Equational theory for Cipher-Decipher
Block Chaining},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {1},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(1:5)2014},
doi = {10.2168/LMCS-10(1:5)2014},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AnantharamanBNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/CorcoranNT14,
author = {John Corcoran and
Paliath Narendran and
Wolfgang Thomas},
title = {Obituary Robert McNaughton 1924 - 2014},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/309},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/CorcoranNT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KremerN14,
author = {Steve Kremer and
Paliath Narendran},
title = {Foreword to the special issue on security and rewriting techniques},
journal = {Inf. Comput.},
volume = {238},
pages = {1},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.07.002},
doi = {10.1016/J.IC.2014.07.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KremerN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ErbaturKMMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Christophe Ringeissen},
editor = {Anca Muscholl},
title = {On Asymmetric Unification and the Combination Problem in Disjoint
Theories},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {274--288},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_18},
doi = {10.1007/978-3-642-54830-7\_18},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ErbaturKMMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/YangEMMN14,
author = {Fan Yang and
Santiago Escobar and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Theories of Homomorphic Encryption, Unification, and the Finite Variant
Property},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {123--133},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643154},
doi = {10.1145/2643135.2643154},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/YangEMMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/HibbsNM14,
author = {Peter Hibbs and
Paliath Narendran and
Shweta Mehto},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {Unification Modulo Common List Functions},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {15--21},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=20},
timestamp = {Tue, 19 Sep 2023 15:35:06 +0200},
biburl = {https://dblp.org/rec/conf/unif/HibbsNM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturKMMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Christophe Ringeissen},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {On Asymmetric Unification and the Combination Problem in Disjoint
Theories (Extended Abstract)},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {33--35},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=38},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturKMMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturKMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {Hierarchical Combination of Matching Algorithms (Extended Abstract)},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {36--40},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=41},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturKMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturEKLLMMNSS13,
author = {Serdar Erbatur and
Santiago Escobar and
Deepak Kapur and
Zhiqiang Liu and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Sonia Santiago and
Ralf Sasse},
editor = {Maria Paola Bonacina},
title = {Asymmetric Unification: {A} New Unification Paradigm for Cryptographic
Protocol Analysis},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {231--248},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_16},
doi = {10.1007/978-3-642-38574-2\_16},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturEKLLMMNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturKMNR13,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Maria Paola Bonacina},
title = {Hierarchical Combination},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {249--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_17},
doi = {10.1007/978-3-642-38574-2\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturKMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BouchardGLN13,
author = {Christopher Bouchard and
Kimberly A. Gero and
Christopher Lynch and
Paliath Narendran},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {On Forward Closure and the Finite Variant Property},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {327--342},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_23},
doi = {10.1007/978-3-642-40885-4\_23},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BouchardGLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BrahmakshatriyaDGN13,
author = {Shreyaben Brahmakshatriya and
Sushma Danturi and
Kimberly A. Gero and
Paliath Narendran},
editor = {Konstantin Korovin and
Barbara Morawska},
title = {Unication Problems Modulo a Theory of Until},
booktitle = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
Netherlands, June 26, 2013},
series = {EPiC Series in Computing},
volume = {19},
pages = {22--29},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/mj4l},
doi = {10.29007/MJ4L},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/BrahmakshatriyaDGN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ErbaturKMNR13,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Konstantin Korovin and
Barbara Morawska},
title = {Hierarchical Combination of Unication Algorithms (Extended Abstract)},
booktitle = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
Netherlands, June 26, 2013},
series = {EPiC Series in Computing},
volume = {19},
pages = {30--34},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/vb87},
doi = {10.29007/VB87},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ErbaturKMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AnantharamanLLNR12,
author = {Siva Anantharaman and
Hai Lin and
Christopher Lynch and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Unification Modulo Homomorphic Encryption},
journal = {J. Autom. Reason.},
volume = {48},
number = {2},
pages = {135--158},
year = {2012},
url = {https://doi.org/10.1007/s10817-010-9205-y},
doi = {10.1007/S10817-010-9205-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AnantharamanLLNR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturEN12,
author = {Serdar Erbatur and
Santiago Escobar and
Paliath Narendran},
editor = {Santiago Escobar and
Konstantin Korovin and
Vladimir V. Rybakov},
title = {The use of types in designing unification algorithms: two case studies},
booktitle = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
on Unification, Manchester, UK, July 1, 2012},
series = {EPiC Series in Computing},
volume = {24},
pages = {7--16},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/lbk5},
doi = {10.29007/LBK5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturEN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AnantharamanELNR12,
author = {Siva Anantharaman and
Serdar Erbatur and
Christopher Lynch and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Unification Modulo Synchronous Distributivity},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {14--29},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_4},
doi = {10.1007/978-3-642-31365-3\_4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AnantharamanELNR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GeroBN12,
author = {Kimberly A. Gero and
Christopher Bouchard and
Paliath Narendran},
editor = {Santiago Escobar and
Konstantin Korovin and
Vladimir V. Rybakov},
title = {Some Notes on Basic Syntactic Mutation},
booktitle = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
on Unification, Manchester, UK, July 1, 2012},
series = {EPiC Series in Computing},
volume = {24},
pages = {17--27},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/sdp1},
doi = {10.29007/SDP1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/GeroBN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MarshallN12,
author = {Andrew M. Marshall and
Paliath Narendran},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {New Algorithms for Unification Modulo One-Sided Distributivity and
Its Variants},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {408--422},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_32},
doi = {10.1007/978-3-642-31365-3\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MarshallN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/ErbaturEKLLMMNSS12,
author = {Serdar Erbatur and
Santiago Escobar and
Deepak Kapur and
Zhiqiang Liu and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Sonia Santiago and
Ralf Sasse},
editor = {Sara Foresti and
Moti Yung and
Fabio Martinelli},
title = {Effective Symbolic Protocol Analysis via Equational Irreducibility
Conditions},
booktitle = {Computer Security - {ESORICS} 2012 - 17th European Symposium on Research
in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7459},
pages = {73--90},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33167-1\_5},
doi = {10.1007/978-3-642-33167-1\_5},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/ErbaturEKLLMMNSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/AnantharamanBNR12,
author = {Siva Anantharaman and
Christopher Bouchard and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Unification Modulo Chaining},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {70--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_7},
doi = {10.1007/978-3-642-28332-1\_7},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/AnantharamanBNR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/AnantharamanNR11,
author = {Siva Anantharaman and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {String Rewriting and Security Analysis: An Extension of a Result of
Book and Otto},
journal = {J. Autom. Lang. Comb.},
volume = {16},
number = {2-4},
pages = {75--90},
year = {2011},
url = {https://doi.org/10.25596/jalc-2011-075},
doi = {10.25596/JALC-2011-075},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/AnantharamanNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/ErbaturMKN11,
author = {Serdar Erbatur and
Andrew M. Marshall and
Deepak Kapur and
Paliath Narendran},
title = {Unification over Distributive Exponentiation (Sub)Theories},
journal = {J. Autom. Lang. Comb.},
volume = {16},
number = {2-4},
pages = {109--140},
year = {2011},
url = {https://doi.org/10.25596/jalc-2011-109},
doi = {10.25596/JALC-2011-109},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/ErbaturMKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/EscobarKLMMNS11,
author = {Santiago Escobar and
Deepak Kapur and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Ralf Sasse},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {Protocol analysis in Maude-NPA using unification modulo homomorphic
encryption},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {65--76},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003488},
doi = {10.1145/2003476.2003488},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/EscobarKLMMNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturEKLLMMNS11,
author = {Serdar Erbatur and
Santiago Escobar and
Deepak Kapur and
Zhiqiang Liu and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Ralf Sasse},
editor = {Franz Baader and
Barbara Morawska and
Jan Otop},
title = {Asymmetric Unification: {A} New Unification Paradigm for Cryptographic
Protocol Analysis},
booktitle = {Proceedings of the 25th International Workshop on Unification, {UNIF}
2011, Wroclaw, Poland, July 31, 2011},
pages = {59--64},
year = {2011},
url = {https://www.irif.fr/\%7Etreinen/unif/past/unif11/unif11-proceedings.pdf\#page=65},
timestamp = {Mon, 23 Oct 2023 15:28:12 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturEKLLMMNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/ErbaturLN11,
author = {Serdar Erbatur and
Christopher Lynch and
Paliath Narendran},
editor = {Martin Giese and
Roman Kuznets},
title = {Unification in a Theory of Blind Signatures},
booktitle = {{TABLEAUX} 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland,
July 4-8, 2011},
series = {Technical Report},
volume = {{IAM-11-002}},
pages = {31--44},
year = {2011},
timestamp = {Thu, 18 Nov 2021 15:00:48 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/ErbaturLN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AnantharamanLLNR10,
author = {Siva Anantharaman and
Hai Lin and
Christopher Lynch and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Dengguo Feng and
David A. Basin and
Peng Liu},
title = {Cap unification: application to protocol security modulo homomorphic
encryption},
booktitle = {Proceedings of the 5th {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2010, Beijing, China, April 13-16,
2010},
pages = {192--203},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755688.1755713},
doi = {10.1145/1755688.1755713},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/AnantharamanLLNR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4891,
author = {Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran},
editor = {Maribel Fern{\'{a}}ndez},
title = {Unification modulo a partial theory of exponentiation},
booktitle = {Proceedings 24th International Workshop on Unification, {UNIF} 2010,
Edinburgh, United Kingdom, 14th July 2010},
series = {{EPTCS}},
volume = {42},
pages = {12--23},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.42.2},
doi = {10.4204/EPTCS.42.2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4894,
author = {Paliath Narendran and
Andrew M. Marshall and
Bibhu Mahapatra},
editor = {Maribel Fern{\'{a}}ndez},
title = {On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo
One-Sided Distributivity},
booktitle = {Proceedings 24th International Workshop on Unification, {UNIF} 2010,
Edinburgh, United Kingdom, 14th July 2010},
series = {{EPTCS}},
volume = {42},
pages = {54--63},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.42.5},
doi = {10.4204/EPTCS.42.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4894.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AnantharamanLLNR09,
author = {Siva Anantharaman and
Hai Lin and
Christopher Lynch and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Unification Modulo Homomorphic Encryption},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {100--116},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_6},
doi = {10.1007/978-3-642-04222-5\_6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AnantharamanLLNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CarleN09,
author = {Benjamin Carle and
Paliath Narendran},
editor = {Adrian{-}Horia Dediu and
Armand{-}Mihai Ionescu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {On Extended Regular Expressions},
booktitle = {Language and Automata Theory and Applications, Third International
Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5457},
pages = {279--289},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00982-2\_24},
doi = {10.1007/978-3-642-00982-2\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/CarleN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TourEN08,
author = {Thierry Boy de la Tour and
Mnacho Echenim and
Paliath Narendran},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Unification and Matching Modulo Leaf-Permutative Equational Presentations},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {332--347},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_30},
doi = {10.1007/978-3-540-71070-7\_30},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/TourEN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/AnantharamanLLNR08,
author = {Siva Anantharaman and
Hai Lin and
Christopher Lynch and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Mircea Marin},
title = {Unification modulo Homomorphic Encryption is Decidable},
booktitle = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
2008, Castle of Hagenberg, Austria, July 18, 2008},
pages = {1--15},
year = {2008},
url = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=9},
timestamp = {Tue, 19 Sep 2023 14:44:31 +0200},
biburl = {https://dblp.org/rec/conf/unif/AnantharamanLLNR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AnantharamanNR07,
author = {Siva Anantharaman and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Franz Baader},
title = {Intruders with Caps},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {20--35},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_4},
doi = {10.1007/978-3-540-73449-9\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/AnantharamanNR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AnantharamanNR05,
author = {Siva Anantharaman and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Closure properties and decision problems of dag automata},
journal = {Inf. Process. Lett.},
volume = {94},
number = {5},
pages = {231--240},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.02.004},
doi = {10.1016/J.IPL.2005.02.004},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AnantharamanNR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KapurNW05,
author = {Deepak Kapur and
Paliath Narendran and
Lida Wang},
editor = {Dieter Hutter and
Werner Stephan},
title = {A Unification Algorithm for Analysis of Protocols with Blinded Signatures},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {433--451},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_25},
doi = {10.1007/978-3-540-32254-2\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KapurNW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AnantharamanNR04,
author = {Siva Anantharaman and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Unification Modulo \emph{ACUI} Plus Distributivity Axioms},
journal = {J. Autom. Reason.},
volume = {33},
number = {1},
pages = {1--28},
year = {2004},
url = {https://doi.org/10.1007/s10817-004-2279-7},
doi = {10.1007/S10817-004-2279-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AnantharamanNR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ComonNNR03,
author = {Hubert Comon and
Paliath Narendran and
Robert Nieuwenhuis and
Micha{\"{e}}l Rusinowitch},
title = {Deciding the confluence of ordered term rewrite systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {1},
pages = {33--55},
year = {2003},
url = {https://doi.org/10.1145/601775.601777},
doi = {10.1145/601775.601777},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ComonNNR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AnantharamanNR03,
author = {Siva Anantharaman and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Franz Baader},
title = {Unification Modulo {ACU} {I} Plus Homomorphisms/Distributivity},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {442--457},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_38},
doi = {10.1007/978-3-540-45085-6\_38},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/AnantharamanNR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AnantharamanNR03,
author = {Siva Anantharaman and
Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Branislav Rovan and
Peter Vojt{\'{a}}s},
title = {ACID-Unification Is NEXPTIME-Decidable},
booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2747},
pages = {169--178},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45138-9\_11},
doi = {10.1007/978-3-540-45138-9\_11},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AnantharamanNR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KapurNW03,
author = {Deepak Kapur and
Paliath Narendran and
Lida Wang},
editor = {Robert Nieuwenhuis},
title = {An E-unification Algorithm for Analyzing Protocols That Use Modular
Exponentiation},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {165--179},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_13},
doi = {10.1007/3-540-44881-0\_13},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/KapurNW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NarendranR02,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Guest Editorial},
journal = {Inf. Comput.},
volume = {178},
number = {2},
pages = {345},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3159},
doi = {10.1006/INCO.2002.3159},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NarendranR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaaderN01,
author = {Franz Baader and
Paliath Narendran},
title = {Unification of Concept Terms in Description Logics},
journal = {J. Symb. Comput.},
volume = {31},
number = {3},
pages = {277--305},
year = {2001},
url = {https://doi.org/10.1006/jsco.2000.0426},
doi = {10.1006/JSCO.2000.0426},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BaaderN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GuoNW00,
author = {Qing Guo and
Paliath Narendran and
David A. Wolfram},
title = {Complexity of Nilpotent Unification and Matching Problems},
journal = {Inf. Comput.},
volume = {162},
number = {1-2},
pages = {3--23},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2849},
doi = {10.1006/INCO.1999.2849},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GuoNW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Narendran00,
author = {Paliath Narendran},
title = {Book review: Term Rewriting and all that by Franz Baader and Tobias
Nipkow (Cambridge Univ . Press, 313 pages)},
journal = {{SIGACT} News},
volume = {31},
number = {3},
pages = {24--26},
year = {2000},
url = {https://doi.org/10.1145/356458.1008651},
doi = {10.1145/356458.1008651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Narendran00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DegtyarevGNVV00,
author = {Anatoli Degtyarev and
Yuri Gurevich and
Paliath Narendran and
Margus Veanes and
Andrei Voronkov},
title = {Decidability and complexity of simultaneous rigid E-unification with
one variable and related results},
journal = {Theor. Comput. Sci.},
volume = {243},
number = {1-2},
pages = {167--184},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00185-6},
doi = {10.1016/S0304-3975(98)00185-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DegtyarevGNVV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/NarendranR00,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {The Theory of Total Unary {RPO} Is Decidable},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {660--672},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_44},
doi = {10.1007/3-540-44957-4\_44},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/NarendranR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/1999,
editor = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Rewriting Techniques and Applications, 10th International Conference,
RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1631},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48685-2},
doi = {10.1007/3-540-48685-2},
isbn = {3-540-66201-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OttoND98,
author = {Friedrich Otto and
Paliath Narendran and
Daniel J. Dougherty},
title = {Equational Unification, Word Unification, and 2nd-Order Equational
Unification},
journal = {Theor. Comput. Sci.},
volume = {198},
number = {1-2},
pages = {1--47},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00130-8},
doi = {10.1016/S0304-3975(97)00130-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OttoND98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/NarendranRV98,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch and
Rakesh M. Verma},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {{RPO} Constraint Solving Is in {NP}},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {385--398},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_26},
doi = {10.1007/10703163\_26},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/NarendranRV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BaaderN98,
author = {Franz Baader and
Paliath Narendran},
editor = {Henri Prade},
title = {Unification of Concept Terms in Description Logics},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {331--335},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BaaderN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ComonNNR98,
author = {Hubert Comon and
Paliath Narendran and
Robert Nieuwenhuis and
Micha{\"{e}}l Rusinowitch},
title = {Decision Problems in Ordered Rewriting},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {276--286},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705664},
doi = {10.1109/LICS.1998.705664},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ComonNNR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GuoNS98,
author = {Qing Guo and
Paliath Narendran and
Sandeep K. Shukla},
editor = {Tobias Nipkow},
title = {Unification and Matching in Process Algebras},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {91--105},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052363},
doi = {10.1007/BFB0052363},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/GuoNS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DegtyarevGNVV98,
author = {Anatoli Degtyarev and
Yuri Gurevich and
Paliath Narendran and
Margus Veanes and
Andrei Voronkov},
editor = {Tobias Nipkow},
title = {The Decidability of Simultaneous Rigid \emph{E}-Unification with One
Variable},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {181--195},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052370},
doi = {10.1007/BFB0052370},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/DegtyarevGNVV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NarendranO97,
author = {Paliath Narendran and
Friedrich Otto},
title = {Single Versus Simultaneous Equational Unification and Equational Unification
for Variable-Permuting Theories},
journal = {J. Autom. Reason.},
volume = {19},
number = {1},
pages = {87--115},
year = {1997},
url = {https://doi.org/10.1023/A:1005764526878},
doi = {10.1023/A:1005764526878},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/NarendranO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NarendranPS97,
author = {Paliath Narendran and
Frank Pfenning and
Richard Statman},
title = {On the Unification Problem for Cartesian Closed Categories},
journal = {J. Symb. Log.},
volume = {62},
number = {2},
pages = {636--647},
year = {1997},
url = {https://doi.org/10.2307/2275552},
doi = {10.2307/2275552},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NarendranPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderN97,
author = {Franz Baader and
Paliath Narendran},
editor = {Ronald J. Brachman and
Francesco M. Donini and
Enrico Franconi and
Ian Horrocks and
Alon Y. Levy and
Marie{-}Christine Rousset},
title = {Unification of Concept Terms in Description Logics},
booktitle = {Proceedings of the 1997 International Workshop on Description Logics,
Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche
en Informatique LRI, France},
series = {{URA-CNRS}},
volume = {410},
year = {1997},
url = {http://dl.kr.org/dl97/proceedings/baader.ps.gz},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BaaderN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NarendranO97,
author = {Paliath Narendran and
Friedrich Otto},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Word Matching Problem Is Undecidable For Finite Special String-Rewriting
Systems That Are Confluent},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {638--648},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_218},
doi = {10.1007/3-540-63165-8\_218},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NarendranO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Narendran96,
author = {Paliath Narendran},
title = {Unification Modulo {ACI} + 1 + 0},
journal = {Fundam. Informaticae},
volume = {25},
number = {1},
pages = {49--57},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-25105},
doi = {10.3233/FI-1996-25105},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Narendran96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NarendranR96,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Any Ground Associative-Commutative Theory Has a Finite Canonical System},
journal = {J. Autom. Reason.},
volume = {17},
number = {1},
pages = {131--143},
year = {1996},
url = {https://doi.org/10.1007/BF00247671},
doi = {10.1007/BF00247671},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/NarendranR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GuoNW96,
author = {Qing Guo and
Paliath Narendran and
David A. Wolfram},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Unification and Matching Modulo Nilpotence},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {261--274},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_90},
doi = {10.1007/3-540-61511-3\_90},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GuoNW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Narendran96,
author = {Paliath Narendran},
title = {Solving Linear Equations over Polynomial Semirings},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {466--472},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561463},
doi = {10.1109/LICS.1996.561463},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Narendran96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/ChaikenN95,
author = {Seth Chaiken and
Paliath Narendran},
title = {The All-Minors {VCCS} Matrix Tree Theorem, Half-Resistors and Applications
in Symbolic Simulation},
booktitle = {1995 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
1995, Seattle, Washington, USA, April 30 - May 3, 1995},
pages = {1239--1242},
publisher = {{IEEE}},
year = {1995},
url = {https://doi.org/10.1109/ISCAS.1995.520369},
doi = {10.1109/ISCAS.1995.520369},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/ChaikenN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/OttoND95,
author = {Friedrich Otto and
Paliath Narendran and
Daniel J. Dougherty},
editor = {Jieh Hsiang},
title = {Some Independent Results for Equational Unification},
booktitle = {Rewriting Techniques and Applications, 6th International Conference,
RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {914},
pages = {367--381},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59200-8\_70},
doi = {10.1007/3-540-59200-8\_70},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/OttoND95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OttoN94,
author = {Friedrich Otto and
Paliath Narendran},
title = {Codes Modulo Finite Monadic String-Rewriting Systems},
journal = {Theor. Comput. Sci.},
volume = {134},
number = {1},
pages = {175--188},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90284-4},
doi = {10.1016/0304-3975(94)90284-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OttoN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CyrlukN94,
author = {David Cyrluk and
Paliath Narendran},
editor = {David L. Dill},
title = {Ground Temporal Logic: {A} Logic for Hardware Verification},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {247--259},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_59},
doi = {10.1007/3-540-58179-0\_59},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CyrlukN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GallierNPRS93,
author = {Jean H. Gallier and
Paliath Narendran and
David A. Plaisted and
Stan Raatz and
Wayne Snyder},
title = {An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in
Polynomial Time},
journal = {J. {ACM}},
volume = {40},
number = {1},
pages = {1--16},
year = {1993},
url = {https://doi.org/10.1145/138027.138032},
doi = {10.1145/138027.138032},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GallierNPRS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MadlenerNOZ93,
author = {Klaus Madlener and
Paliath Narendran and
Friedrich Otto and
Louxin Zhang},
title = {On Weakly Confluent Monadic String-Rewriting Systems},
journal = {Theor. Comput. Sci.},
volume = {113},
number = {1},
pages = {119--165},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90213-D},
doi = {10.1016/0304-3975(93)90213-D},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MadlenerNOZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NarendranPS93,
author = {Paliath Narendran and
Frank Pfenning and
Richard Statman},
title = {On the Unification Problem for Cartesian Closed Categories},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {57--63},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287600},
doi = {10.1109/LICS.1993.287600},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NarendranPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NarendranR93,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {The Unifiability Problem in Ground {AC} Theories},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {364--370},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287572},
doi = {10.1109/LICS.1993.287572},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NarendranR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GallierNRS92,
author = {Jean H. Gallier and
Paliath Narendran and
Stan Raatz and
Wayne Snyder},
title = {Theorem Proving Using Equational Matings and Rigid E-Unification},
journal = {J. {ACM}},
volume = {39},
number = {2},
pages = {377--429},
year = {1992},
url = {https://doi.org/10.1145/128749.128754},
doi = {10.1145/128749.128754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GallierNRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KapurN92,
author = {Deepak Kapur and
Paliath Narendran},
title = {Complexity of Unification Problems with Associative-Commutative Operators},
journal = {J. Autom. Reason.},
volume = {9},
number = {2},
pages = {261--288},
year = {1992},
url = {https://doi.org/10.1007/BF00245463},
doi = {10.1007/BF00245463},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KapurN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KapurN92,
author = {Deepak Kapur and
Paliath Narendran},
title = {Double-exponential Complexity of Computing a Complete Set of AC-Unifiers},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {11--21},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185515},
doi = {10.1109/LICS.1992.185515},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KapurN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KapurNRZ91,
author = {Deepak Kapur and
Paliath Narendran and
Daniel J. Rosenkrantz and
Hantao Zhang},
title = {Sufficient-Completeness, Ground-Reducibility and their Complexity},
journal = {Acta Informatica},
volume = {28},
number = {4},
pages = {311--350},
year = {1991},
url = {https://doi.org/10.1007/BF01893885},
doi = {10.1007/BF01893885},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/KapurNRZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/NarendranOO91,
author = {Paliath Narendran and
Colm {\'{O}}'D{\'{u}}nlaing and
Friedrich Otto},
title = {It is undecidable whether a finite special string-rewriting system
presents a group},
journal = {Discret. Math.},
volume = {98},
number = {2},
pages = {153--159},
year = {1991},
url = {https://doi.org/10.1016/0012-365X(91)90040-9},
doi = {10.1016/0012-365X(91)90040-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/NarendranOO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KapurNZ91,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
title = {Automating Inductionless Induction Using Test Sets},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {81--111},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80133-2},
doi = {10.1016/S0747-7171(08)80133-2},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurNZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurMNS91,
author = {Deepak Kapur and
David R. Musser and
Paliath Narendran and
Jonathan Stillman},
title = {Semi-Unification},
journal = {Theor. Comput. Sci.},
volume = {81},
number = {2},
pages = {169--187},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90189-9},
doi = {10.1016/0304-3975(91)90189-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurMNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MadlenerNO91,
author = {Klaus Madlener and
Paliath Narendran and
Friedrich Otto},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Specialized Completion Procedure for Monadic String-Rewriting Systems
Presenting Groups},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {279--290},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_141},
doi = {10.1007/3-540-54233-7\_141},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MadlenerNO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NarendranR91,
author = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
editor = {Ronald V. Book},
title = {Any Gound Associative-Commutative Theory Has a Finite Canonical System},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {423--434},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_115},
doi = {10.1007/3-540-53904-2\_115},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/NarendranR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KapurNO90,
author = {Deepak Kapur and
Paliath Narendran and
Friedrich Otto},
title = {On Ground-Confluence of Term Rewriting Systems},
journal = {Inf. Comput.},
volume = {86},
number = {1},
pages = {14--31},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90023-B},
doi = {10.1016/0890-5401(90)90023-B},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KapurNO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GallierNPS90,
author = {Jean H. Gallier and
Paliath Narendran and
David A. Plaisted and
Wayne Snyder},
title = {Rigid E-Unification: NP-Completeness and Applications to Equational
Matings},
journal = {Inf. Comput.},
volume = {87},
number = {1/2},
pages = {129--195},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90061-L},
doi = {10.1016/0890-5401(90)90061-L},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GallierNPS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Narendran90,
author = {Paliath Narendran},
title = {It is Decidable Whether a Monadic Thue System is Canonical Over a
Regular Set},
journal = {Math. Syst. Theory},
volume = {23},
number = {4},
pages = {245--254},
year = {1990},
url = {https://doi.org/10.1007/BF02090778},
doi = {10.1007/BF02090778},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Narendran90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NarendranO90,
author = {Paliath Narendran and
Friedrich Otto},
editor = {Mark E. Stickel},
title = {Some Results on Equational Unification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {276--291},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_94},
doi = {10.1007/3-540-52885-7\_94},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/NarendranO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/NarendranO89,
author = {Paliath Narendran and
Colm {\'{O}}'D{\'{u}}nlaing},
title = {Cancellativity in Finitely Presented Semigroups},
journal = {J. Symb. Comput.},
volume = {7},
number = {5},
pages = {457--472},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80028-8},
doi = {10.1016/S0747-7171(89)80028-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/NarendranO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NarendranO89,
author = {Paliath Narendran and
Friedrich Otto},
title = {Some Polynomial-Time Algorithms for Finite Monadic Church-Rosser Thue
Systems},
journal = {Theor. Comput. Sci.},
volume = {68},
number = {3},
pages = {319--332},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90167-9},
doi = {10.1016/0304-3975(89)90167-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NarendranO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/NarendranS89,
author = {Paliath Narendran and
Jonathan Stillman},
editor = {Burkhard Monien and
Robert Cori},
title = {It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates
a Crossed Pair},
booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {349},
pages = {348--359},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0028998},
doi = {10.1007/BFB0028998},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/NarendranS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NarendranO88,
author = {Paliath Narendran and
Friedrich Otto},
title = {Elements of Finite Order for Finite Weight-Reducing and Confluent
Thue Systems},
journal = {Acta Informatica},
volume = {25},
number = {5},
pages = {573--591},
year = {1988},
url = {https://doi.org/10.1007/BF00279954},
doi = {10.1007/BF00279954},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NarendranO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/NarendranO88,
author = {Paliath Narendran and
Friedrich Otto},
title = {Preperfectness is Undecidable for Thue Systems Containing Only Length-Reducing
Rules and a Single Commutation Rule},
journal = {Inf. Process. Lett.},
volume = {29},
number = {3},
pages = {125--130},
year = {1988},
url = {https://doi.org/10.1016/0020-0190(88)90049-X},
doi = {10.1016/0020-0190(88)90049-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/NarendranO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/McNaughtonNO88,
author = {Robert McNaughton and
Paliath Narendran and
Friedrich Otto},
title = {Church-Rosser Thue systems and formal languages},
journal = {J. {ACM}},
volume = {35},
number = {2},
pages = {324--344},
year = {1988},
url = {https://doi.org/10.1145/42282.42284},
doi = {10.1145/42282.42284},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/McNaughtonNO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KapurMN88,
author = {Deepak Kapur and
David R. Musser and
Paliath Narendran},
title = {Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion
Procedure},
journal = {J. Symb. Comput.},
volume = {6},
number = {1},
pages = {19--36},
year = {1988},
url = {https://doi.org/10.1016/S0747-7171(88)80019-1},
doi = {10.1016/S0747-7171(88)80019-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurMN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GallierNPRS88,
author = {Jean H. Gallier and
Paliath Narendran and
David A. Plaisted and
Stan Raatz and
Wayne Snyder},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Finding Canonical Rewriting Systems Equivalent to a Finite Set of
Ground Equations in Polynomial Time},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {182--196},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012832},
doi = {10.1007/BFB0012832},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/GallierNPRS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NarendranS88,
author = {Paliath Narendran and
Jonathan Stillman},
editor = {Dennis W. Shaklee and
A. Richard Newton},
title = {Formal Verification of the Sobel Image Processing Chip},
booktitle = {Proceedings of the 25th {ACM/IEEE} Conference on Design Automation,
{DAC} '88, Anaheim, CA, USA, June 12-15, 1988},
pages = {211--217},
publisher = {{ACM}},
year = {1988},
url = {http://portal.acm.org/citation.cfm?id=285730.285765},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/dac/NarendranS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurMNS88,
author = {Deepak Kapur and
David R. Musser and
Paliath Narendran and
Jonathan Stillman},
editor = {Kesav V. Nori and
Sanjeev Kumar},
title = {Semi-Unification},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {338},
pages = {435--454},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50517-2\_95},
doi = {10.1007/3-540-50517-2\_95},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurMNS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GallierSNP88,
author = {Jean H. Gallier and
Wayne Snyder and
Paliath Narendran and
David A. Plaisted},
title = {Rigid E-Unification is NP-Complete},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {218--227},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5121},
doi = {10.1109/LICS.1988.5121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GallierSNP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KapurNZ87,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
title = {On Sufficient-Completeness and Related Properties of Term Rewriting
Systems},
journal = {Acta Informatica},
volume = {24},
number = {4},
pages = {395--415},
year = {1987},
url = {https://doi.org/10.1007/BF00292110},
doi = {10.1007/BF00292110},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/KapurNZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/KapurN87,
author = {Deepak Kapur and
Paliath Narendran},
title = {Matching, unification and complexity},
journal = {{SIGSAM} Bull.},
volume = {21},
number = {4},
pages = {6--9},
year = {1987},
url = {https://doi.org/10.1145/36330.36332},
doi = {10.1145/36330.36332},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/KapurN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BenanavKN87,
author = {Dan Benanav and
Deepak Kapur and
Paliath Narendran},
title = {Complexity of Matching Problems},
journal = {J. Symb. Comput.},
volume = {3},
number = {1/2},
pages = {203--216},
year = {1987},
url = {https://doi.org/10.1016/S0747-7171(87)80027-5},
doi = {10.1016/S0747-7171(87)80027-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BenanavKN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/NarendranO87,
author = {Paliath Narendran and
Friedrich Otto},
editor = {Lloren{\c{c}} Huguet i Rotger and
Alain Poli},
title = {It is Decidable in Polynomial Time Whether a Monoid Presented by a
Finite Weight-Reducing and Confluent Thue System is Torsion-Free},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
5th International Conference, AAECC-5, Menorca, Spain, June 15-19,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {356},
pages = {341--349},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51082-6\_90},
doi = {10.1007/3-540-51082-6\_90},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/NarendranO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Narendran86,
author = {Paliath Narendran},
title = {On the Equivalence Problem for Regular Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {44},
pages = {237--245},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90121-0},
doi = {10.1016/0304-3975(86)90121-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Narendran86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NarendranO86,
author = {Paliath Narendran and
Friedrich Otto},
title = {The Problems of Cyclic Equality and Conjugacy for Finite Complete
Rewriting Systems},
journal = {Theor. Comput. Sci.},
volume = {47},
number = {3},
pages = {27--38},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90131-3},
doi = {10.1016/0304-3975(86)90131-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NarendranO86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurNZ86,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
editor = {J{\"{o}}rg H. Siekmann},
title = {Proof by Induction Using Test Sets},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {99--117},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_83},
doi = {10.1007/3-540-16780-3\_83},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KapurNZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurN86,
author = {Deepak Kapur and
Paliath Narendran},
editor = {J{\"{o}}rg H. Siekmann},
title = {NP-Completeness of the Set Unification and Matching Problems},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {489--495},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_113},
doi = {10.1007/3-540-16780-3\_113},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KapurN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurNZ86,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
editor = {Kesav V. Nori},
title = {Complexity of Sufficient-Completeness},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {241},
pages = {426--442},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17179-7\_26},
doi = {10.1007/3-540-17179-7\_26},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurNZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/NarendranOR85,
author = {Paliath Narendran and
Colm {\'{O}}'D{\'{u}}nlaing and
Heinrich Rolletschek},
title = {Complexity of Certain Decision Problems about Congruential Languages},
journal = {J. Comput. Syst. Sci.},
volume = {30},
number = {3},
pages = {343--358},
year = {1985},
url = {https://doi.org/10.1016/0022-0000(85)90051-0},
doi = {10.1016/0022-0000(85)90051-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/NarendranOR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
title = {The Knuth-Bendix Completion Procedure and Thue Systems},
journal = {{SIAM} J. Comput.},
volume = {14},
number = {4},
pages = {1052--1072},
year = {1985},
url = {https://doi.org/10.1137/0214073},
doi = {10.1137/0214073},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
title = {An equational approach to theorem proving in first-order predicate
calculus},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {10},
number = {4},
pages = {63--66},
year = {1985},
url = {https://doi.org/10.1145/1012497.1012521},
doi = {10.1145/1012497.1012521},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurKMN85,
author = {Deepak Kapur and
Mukkai S. Krishnamoorthy and
Robert McNaughton and
Paliath Narendran},
title = {An O({\(\vert\)}T{\(\vert\)}3) Algorithm for Testing the Church-Rosser
Property of Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {35},
pages = {109--114},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90008-8},
doi = {10.1016/0304-3975(85)90008-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurKMN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NarendranO85,
author = {Paliath Narendran and
Friedrich Otto},
title = {Complexity Results on the Conjugacy Problem for Monoids},
journal = {Theor. Comput. Sci.},
volume = {35},
pages = {227--243},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90016-7},
doi = {10.1016/0304-3975(85)90016-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NarendranO85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
title = {A Finite Thue System with Decidable Word Problem and without Equivalent
Finite Canonical System},
journal = {Theor. Comput. Sci.},
volume = {35},
pages = {337--344},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90023-4},
doi = {10.1016/0304-3975(85)90023-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurNKM85,
author = {Deepak Kapur and
Paliath Narendran and
Mukkai S. Krishnamoorthy and
Robert McNaughton},
title = {The Church-Rosser Property and Special Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {39},
pages = {123--133},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90134-3},
doi = {10.1016/0304-3975(85)90134-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurNKM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KrishnamoorthyN85,
author = {Mukkai S. Krishnamoorthy and
Paliath Narendran},
title = {On Recursive Path Ordering},
journal = {Theor. Comput. Sci.},
volume = {40},
pages = {323--328},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90175-6},
doi = {10.1016/0304-3975(85)90175-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KrishnamoorthyN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KapurMMN85,
author = {Deepak Kapur and
Joseph L. Mundy and
David R. Musser and
Paliath Narendran},
title = {Reasoning about three dimensional space},
booktitle = {Proceedings of the 1985 {IEEE} International Conference on Robotics
and Automation, St. Louis, Missouri, USA, March 25-28, 1985},
pages = {405--410},
publisher = {{IEEE}},
year = {1985},
url = {https://doi.org/10.1109/ROBOT.1985.1087257},
doi = {10.1109/ROBOT.1985.1087257},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/KapurMMN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
editor = {Aravind K. Joshi},
title = {An Equational Approach to Theorem Proving in First-Order Predicate
Calculus},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {1146--1153},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-2/Papers/097.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kandri-RodyKN85,
author = {Abdelilah Kandri{-}Rody and
Deepak Kapur and
Paliath Narendran},
editor = {Jean{-}Pierre Jouannaud},
title = {An Ideal-Theoretic Approach to Work Problems and Unification Problems
over Finitely Presented Commutative Algebras},
booktitle = {Rewriting Techniques and Applications, First International Conference,
RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {345--364},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15976-2\_17},
doi = {10.1007/3-540-15976-2\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Kandri-RodyKN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BenanavKN85,
author = {Dan Benanav and
Deepak Kapur and
Paliath Narendran},
editor = {Jean{-}Pierre Jouannaud},
title = {Complexity of Matching Problems},
booktitle = {Rewriting Techniques and Applications, First International Conference,
RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {417--429},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15976-2\_22},
doi = {10.1007/3-540-15976-2\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BenanavKN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KapurNS85,
author = {Deepak Kapur and
Paliath Narendran and
G. Sivakumar},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {A Path Ordering for Proving Termination of Term Rewriting Systems},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {173--187},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_11},
doi = {10.1007/3-540-15198-2\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KapurNS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Narendran84,
author = {Paliath Narendran},
title = {Church-Rosser and related Thue systems},
school = {Rensselaer Polytechnic Institute, {USA}},
year = {1984},
url = {https://hdl.handle.net/20.500.13015/1412},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Narendran84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NarendranOW84,
author = {Paliath Narendran and
Friedrich Otto and
Karl Winklmann},
title = {The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems
is NP-Complete},
journal = {Inf. Control.},
volume = {63},
number = {1/2},
pages = {58--66},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80041-8},
doi = {10.1016/S0019-9958(84)80041-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NarendranOW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NarendranM84,
author = {Paliath Narendran and
Robert McNaughton},
title = {The Undecidability of the Preperfectness of Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {165--174},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90133-6},
doi = {10.1016/0304-3975(84)90133-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NarendranM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-11-14 02:02 CET 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:
