Zum Inhalt springen Narendran, Paliath [HerausgeberIn] ; RTA 10 1999 Trient Rewriting techniques and applications : 10th International Conference ; RTA-99, Trento, Italy, July 2 - 4, 1999 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1999 Erschienen in: Lecture notes in computer science ; 1631 Narendran, Paliath [VerfasserIn] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft] It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kaiserslautern: Fachbereich Informatik, Univ., 1987 Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 17300 Narendran, Paliath [VerfasserIn] ; Rusinowitch, Michael [Sonstige Person, Familie und Körperschaft] Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Erschienen in: Lecture notes in computer science ; 1631 Marantidis, Pavlos [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Narendran, Paliath [AkademischeR BetreuerIn] Technische Universität Dresden Quantitative Variants of Language Equations and their Applications to Description Logics Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden, 2019 Marantidis, Pavlos [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Narendran, Paliath [Sonstige Person, Familie und Körperschaft] Quantitative Variants of Language Equations and their Applications to Description Logics Bücher Online ansehen Schließen > Zugang https://d-nb.info/1226942458/34 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2019 Baader, Franz [VerfasserIn]; Narendran, Paliath [VerfasserIn] Unification of Concept Terms in Description Logics : Revised Version Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 1998 Erschienen in: LTCS-Report ; 98,7 Baader, Franz [VerfasserIn]; Narendran, Paliath [VerfasserIn] Unfication of Concept Terms in Description Logics Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 1997 Erschienen 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) Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2000 Erschienen in: ACM SIGACT News Narendran, Paliath UNIFICATION MODULO ACI + 1 + 0 Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 1996 Erschienen in: Fundamenta Informaticae Narendran, Paliath It is decidable whether a monadic thue system is canonical over a regular set Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1990 Erschienen in: Mathematical Systems Theory Narendran, Paliath On the equivalence problem for regular Thue systems Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1986 Erschienen in: Theoretical Computer Science Kremer, Steve; Narendran, Paliath Foreword to the special issue on security and rewriting techniques Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2014 Erschienen in: Information and Computation Carle, Benjamin; Narendran, Paliath Language and Automata Theory and Applications: On Extended Regular Expressions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Language and Automata Theory and Applications Narendran, Paliath; Rusinowitch, Michael GUEST EDITORIAL Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2002 Erschienen in: Information and Computation Baader, Franz; Narendran, Paliath Unification of Concept Terms in Description Logics Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2001 Erschienen in: Journal of Symbolic Computation Narendran, Paliath; Rusinowitch, Michael Computational Logic — CL 2000: The Theory of Total Unary RPO Is Decidable Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2000 Erschienen 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 Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1997 Erschienen in: Automata, Languages and Programming Otto, Friedrich; Narendran, Paliath Codes modulo finite monadic string-rewriting systems Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1994 Erschienen in: Theoretical Computer Science Cyrluk, David; Narendran, Paliath Computer Aided Verification: Ground temporal logic: A logic for hardware verification Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1994 Erschienen in: Computer Aided Verification Kapur, Deepak; Narendran, Paliath Complexity of unification problems with associative-commutative operators Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1992 Erschienen in: Journal of Automated Reasoning
Narendran, Paliath [HerausgeberIn] ; RTA 10 1999 Trient Rewriting techniques and applications : 10th International Conference ; RTA-99, Trento, Italy, July 2 - 4, 1999 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1999 Erschienen in: Lecture notes in computer science ; 1631
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath [VerfasserIn] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft] It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kaiserslautern: Fachbereich Informatik, Univ., 1987 Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 17300
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath [VerfasserIn] ; Rusinowitch, Michael [Sonstige Person, Familie und Körperschaft] Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Erschienen in: Lecture notes in computer science ; 1631
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Marantidis, Pavlos [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Narendran, Paliath [AkademischeR BetreuerIn] Technische Universität Dresden Quantitative Variants of Language Equations and their Applications to Description Logics Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden, 2019
> Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Marantidis, Pavlos [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Narendran, Paliath [Sonstige Person, Familie und Körperschaft] Quantitative Variants of Language Equations and their Applications to Description Logics Bücher Online ansehen Schließen > Zugang https://d-nb.info/1226942458/34 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [VerfasserIn]; Narendran, Paliath [VerfasserIn] Unification of Concept Terms in Description Logics : Revised Version Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 1998 Erschienen in: LTCS-Report ; 98,7
> Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [VerfasserIn]; Narendran, Paliath [VerfasserIn] Unfication of Concept Terms in Description Logics Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 1997 Erschienen in: LTCS-Report ; 97,2
> Zugang Zugang und weitere Informationen zur Ressource Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages) Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2000 Erschienen in: ACM SIGACT News
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath UNIFICATION MODULO ACI + 1 + 0 Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 1996 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath It is decidable whether a monadic thue system is canonical over a regular set Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1990 Erschienen in: Mathematical Systems Theory
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath On the equivalence problem for regular Thue systems Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1986 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kremer, Steve; Narendran, Paliath Foreword to the special issue on security and rewriting techniques Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2014 Erschienen in: Information and Computation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Carle, Benjamin; Narendran, Paliath Language and Automata Theory and Applications: On Extended Regular Expressions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Language and Automata Theory and Applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath; Rusinowitch, Michael GUEST EDITORIAL Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2002 Erschienen in: Information and Computation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz; Narendran, Paliath Unification of Concept Terms in Description Logics Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2001 Erschienen in: Journal of Symbolic Computation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath; Rusinowitch, Michael Computational Logic — CL 2000: The Theory of Total Unary RPO Is Decidable Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2000 Erschienen in: Computational Logic — CL 2000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Narendran, Paliath; Otto, Friedrich Automata, Languages and Programming: The word matching problem is undecidable for finite special string-rewriting systems that are confluent Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1997 Erschienen in: Automata, Languages and Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Otto, Friedrich; Narendran, Paliath Codes modulo finite monadic string-rewriting systems Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1994 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cyrluk, David; Narendran, Paliath Computer Aided Verification: Ground temporal logic: A logic for hardware verification Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1994 Erschienen in: Computer Aided Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kapur, Deepak; Narendran, Paliath Complexity of unification problems with associative-commutative operators Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1992 Erschienen in: Journal of Automated Reasoning
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (86) Wert ausschließen Bücher (7) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (3) Wert ausschließen Bereichsbibliothek DrePunct (2) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung (CC BY) (2) Wert ausschließen Urheberrechtsschutz (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (38) Wert ausschließen Ohne Angabe (53) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (55) Wert ausschließen Nicht zu entscheiden (38) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (39) Wert ausschließen Mathematik (22) Wert ausschließen Technik (4) Wert ausschließen Geographie (1) Wert ausschließen Medizin (1) Wert ausschließen Philosophie (1) Wert ausschließen Physik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution 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 zeige weitere weniger zeigen
> Kollektion 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 zeige weitere weniger zeigen