Skip to contents Narendran, Paliath [Editor] ; RTA 10 1999 Trient Rewriting techniques and applications : 10th International Conference ; RTA-99, Trento, Italy, July 2 - 4, 1999 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1631 Narendran, Paliath [Author] ; Otto, Friedrich [Other] It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kaiserslautern: Fachbereich Informatik, Univ., 1987 Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 17300 Narendran, Paliath [Author] ; Rusinowitch, Michael [Other] Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1631 Marantidis, Pavlos [Author] ; Baader, Franz [Degree supervisor]; Narendran, Paliath [Degree supervisor] Technische Universität Dresden Quantitative Variants of Language Equations and their Applications to Description Logics Books View online Schließen > Access More information on the full text More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 2019 Marantidis, Pavlos [Author] ; Baader, Franz [Degree supervisor]; Narendran, Paliath [Other] Quantitative Variants of Language Equations and their Applications to Description Logics Books View online Schließen > Access https://d-nb.info/1226942458/34 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2019 Baader, Franz [Author]; Narendran, Paliath [Author] Unification of Concept Terms in Description Logics : Revised Version Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788275 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 1998 Published in: LTCS-Report ; 98,7 Baader, Franz [Author]; Narendran, Paliath [Author] Unfication of Concept Terms in Description Logics Books View online Schließen > Access More information on the full text https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-792189 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 1997 Published in: LTCS-Report ; 97,2 Narendran, Paliath Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2000 Published in: ACM SIGACT News Narendran, Paliath UNIFICATION MODULO ACI + 1 + 0 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1996 Published in: Fundamenta Informaticae Narendran, Paliath It is decidable whether a monadic thue system is canonical over a regular set Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1990 Published in: Mathematical Systems Theory Narendran, Paliath On the equivalence problem for regular Thue systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1986 Published in: Theoretical Computer Science Kremer, Steve; Narendran, Paliath Foreword to the special issue on security and rewriting techniques Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Information and Computation Carle, Benjamin; Narendran, Paliath Language and Automata Theory and Applications: On Extended Regular Expressions Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Language and Automata Theory and Applications Narendran, Paliath; Rusinowitch, Michael GUEST EDITORIAL Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Information and Computation Baader, Franz; Narendran, Paliath Unification of Concept Terms in Description Logics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2001 Published in: Journal of Symbolic Computation Narendran, Paliath; Rusinowitch, Michael Computational Logic — CL 2000: The Theory of Total Unary RPO Is Decidable Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: Computational Logic — CL 2000 Narendran, Paliath; Otto, Friedrich Automata, Languages and Programming: The word matching problem is undecidable for finite special string-rewriting systems that are confluent Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: Automata, Languages and Programming Otto, Friedrich; Narendran, Paliath Codes modulo finite monadic string-rewriting systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1994 Published in: Theoretical Computer Science Cyrluk, David; Narendran, Paliath Computer Aided Verification: Ground temporal logic: A logic for hardware verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1994 Published in: Computer Aided Verification Kapur, Deepak; Narendran, Paliath Complexity of unification problems with associative-commutative operators Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1992 Published in: Journal of Automated Reasoning
Narendran, Paliath [Editor] ; RTA 10 1999 Trient Rewriting techniques and applications : 10th International Conference ; RTA-99, Trento, Italy, July 2 - 4, 1999 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1631
Narendran, Paliath [Author] ; Otto, Friedrich [Other] It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kaiserslautern: Fachbereich Informatik, Univ., 1987 Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 17300
Narendran, Paliath [Author] ; Rusinowitch, Michael [Other] Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1631
Marantidis, Pavlos [Author] ; Baader, Franz [Degree supervisor]; Narendran, Paliath [Degree supervisor] Technische Universität Dresden Quantitative Variants of Language Equations and their Applications to Description Logics Books View online Schließen > Access More information on the full text More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 2019
Marantidis, Pavlos [Author] ; Baader, Franz [Degree supervisor]; Narendran, Paliath [Other] Quantitative Variants of Language Equations and their Applications to Description Logics Books View online Schließen > Access https://d-nb.info/1226942458/34 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2019
Baader, Franz [Author]; Narendran, Paliath [Author] Unification of Concept Terms in Description Logics : Revised Version Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788275 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 1998 Published in: LTCS-Report ; 98,7
> Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788275 More information on the full text Show more show less
Baader, Franz [Author]; Narendran, Paliath [Author] Unfication of Concept Terms in Description Logics Books View online Schließen > Access More information on the full text https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-792189 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 1997 Published in: LTCS-Report ; 97,2
> Access More information on the full text https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-792189 Show more show less
Narendran, Paliath Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2000 Published in: ACM SIGACT News
Narendran, Paliath UNIFICATION MODULO ACI + 1 + 0 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1996 Published in: Fundamenta Informaticae
Narendran, Paliath It is decidable whether a monadic thue system is canonical over a regular set Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1990 Published in: Mathematical Systems Theory
Narendran, Paliath On the equivalence problem for regular Thue systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1986 Published in: Theoretical Computer Science
Kremer, Steve; Narendran, Paliath Foreword to the special issue on security and rewriting techniques Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Information and Computation
Carle, Benjamin; Narendran, Paliath Language and Automata Theory and Applications: On Extended Regular Expressions Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Language and Automata Theory and Applications
Narendran, Paliath; Rusinowitch, Michael GUEST EDITORIAL Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Information and Computation
Baader, Franz; Narendran, Paliath Unification of Concept Terms in Description Logics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2001 Published in: Journal of Symbolic Computation
Narendran, Paliath; Rusinowitch, Michael Computational Logic — CL 2000: The Theory of Total Unary RPO Is Decidable Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: Computational Logic — CL 2000
Narendran, Paliath; Otto, Friedrich Automata, Languages and Programming: The word matching problem is undecidable for finite special string-rewriting systems that are confluent Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: Automata, Languages and Programming
Otto, Friedrich; Narendran, Paliath Codes modulo finite monadic string-rewriting systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1994 Published in: Theoretical Computer Science
Cyrluk, David; Narendran, Paliath Computer Aided Verification: Ground temporal logic: A logic for hardware verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1994 Published in: Computer Aided Verification
Kapur, Deepak; Narendran, Paliath Complexity of unification problems with associative-commutative operators Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1992 Published in: Journal of Automated Reasoning
> Media type Skip to next facet Articles (86) Wert ausschließen Books (7) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (3) Wert ausschließen Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (2) Wert ausschließen In Copyright (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (38) Wert ausschließen Without Specification (53) Wert ausschließen Show more show less
> Language Skip to next facet English (55) Wert ausschließen Not determined (38) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (36) Wert ausschließen Mathmatics (21) Wert ausschließen Technology (3) Wert ausschließen Geography (1) Wert ausschließen Medicine (1) Wert ausschließen Philosophy (1) Wert ausschließen Physics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Narendran, Paliath (93) Wert ausschließen Kapur, Deepak (27) Wert ausschließen Otto, Friedrich (16) Wert ausschließen Rusinowitch, Michael (12) Wert ausschließen Anantharaman, Siva (9) Wert ausschließen Lynch, Christopher (9) Wert ausschließen Erbatur, Serdar (6) Wert ausschließen Marshall, Andrew M. (6) Wert ausschließen Zhang, Hantao (6) Wert ausschließen Baader, Franz (5) Wert ausschließen Meadows, Catherine (5) Wert ausschließen Lin, Hai (4) Wert ausschließen Ravishankar, Veena (4) Wert ausschließen Bouchard, Christopher (3) Wert ausschließen Gallier, Jean (3) Wert ausschließen Guo, Qing (3) Wert ausschließen Ringeissen, Christophe (3) Wert ausschließen Rusinowitch, Michaël (3) Wert ausschließen Snyder, Wayne (3) Wert ausschließen Ó'Dúnlaing, Colm (3) Wert ausschließen Benanav, Dan (2) Wert ausschließen Degtyarev, Anatoli (2) Wert ausschließen Dougherty, Daniel J. (2) Wert ausschließen Escobar, Santiago (2) Wert ausschließen Gurevich, Yuri (2) Wert ausschließen Liu, Zhiqiang (2) Wert ausschließen Marantidis, Pavlos (2) Wert ausschließen Marshall, Andrew (2) Wert ausschließen McNaughton, Robert (2) Wert ausschließen Meseguer, José (2) Wert ausschließen Musser, David (2) Wert ausschließen Pfenning, Frank (2) Wert ausschließen Plaisted, David (2) Wert ausschließen Raatz, Stan (2) Wert ausschließen Rosenkrantz, Daniel J. (2) Wert ausschließen Rozek, Brandon (2) Wert ausschließen Santiago, Sonia (2) Wert ausschließen Sasse, Ralf (2) Wert ausschließen Statman, Richard (2) Wert ausschließen Stillman, Jonathan (2) Wert ausschließen Veanes, Margus (2) Wert ausschließen Voronkov, Andrei (2) Wert ausschließen Wang, Lida (2) Wert ausschließen A. Meadows, Catherine (1) Wert ausschließen Carle, Benjamin (1) Wert ausschließen Chichester, Dalton (1) Wert ausschließen Comon, Hubert (1) Wert ausschließen Cornell, Kimberly A. (1) Wert ausschließen Cyrluk, David (1) Wert ausschließen Du, Wei (1) Wert ausschließen Gero, Kimberly A. (1) Wert ausschließen Hibbs, Peter (1) Wert ausschließen Kandri-Rody, Abdelilah (1) Wert ausschließen Kauffman, Raymond (1) Wert ausschließen Kim, Dohan (1) Wert ausschließen Kremer, Steve (1) Wert ausschließen Lynch, Christopher A. (1) Wert ausschließen M. Marshall, Andrew (1) Wert ausschließen Mahapatra, Bibhu (1) Wert ausschließen Marshall, Andrew M (1) Wert ausschließen Meadows, Catherine A. (1) Wert ausschließen Musser, David R. (1) Wert ausschließen Nieuwenhuis, Robert (1) Wert ausschließen RTA 10 1999 Trient (1) Wert ausschließen Rolletschek, Heinrich (1) Wert ausschließen Rovira, Luis (1) Wert ausschließen Rusinowitch, Micha�l (1) Wert ausschließen Shukla, Sandeep K. (1) Wert ausschließen Technische Universität Dresden (1) Wert ausschließen Verma, Rakesh (1) Wert ausschließen Winklmann, Karl (1) Wert ausschließen Wolfram, D. A. (1) Wert ausschließen Wolfram, D.A. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (31) Wert ausschließen Elsevier BV (CrossRef) (24) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (9) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (7) Wert ausschließen Springer International Publishing (CrossRef) (6) Wert ausschließen Verbunddaten SWB (6) Wert ausschließen Lizenzfreie Online-Ressourcen (3) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen Qucosa (3) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Diss online (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences I Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (1) Wert ausschließen Show more show less