@book{MayerRau1995, author = {Mayer, Claudia and Rau, Uwe [Hrsg.]}, title = {Zwischen Ende und Anfang : individuelles Geschichtserleben 1945 und 1989 / Hrsg. von Claudia Mayer-Iswandy [u.a.]}, publisher = {Goethe-Institut Montr{\´e}al}, address = {Montreal}, isbn = {2-9801595-6-5}, pages = {99 S. : Lit.Hinw.}, year = {1995}, language = {de} } @book{Mayer1994, author = {Mayer, Claudia}, title = {Zwischen Traum und Trauma - die Nation : transatlantische Perspektiven zur Geschichte eines Problems / Claudia Mayer-Iswandy (Hrsg.)}, publisher = {Stauffenburg-Verl.}, address = {T{\"u}bingen}, isbn = {3-86057-132-X}, pages = {305 S.}, year = {1994}, language = {de} } @book{MayerGrassNeuhaus1987, author = {Mayer, Claudia and Grass, G{\"u}nter and Neuhaus, Volker [Hrsg.]}, title = {Der Butt / G{\"u}nter Grass. Hrsg. von Claudia Mayer}, publisher = {Luchterhand}, address = {Darmstadt}, isbn = {3-472-86644-6}, pages = {741 S.}, year = {1987}, language = {de} } @article{Mayer1996, author = {Mayer, Claudia}, title = {Versuche einer Rebellion. Zur Anpassung des K{\"o}rpers an den Geist}, series = {Verleiblichungen : literatur- und kulturgeschichtliche Studien {\"u}ber Strategien, Formen und Funktionen der Verleiblichung in Texten von der Fr{\"u}hzeit bis zum Cyberspace / Burkhardt Krause ... (Hrsg.)}, journal = {Verleiblichungen : literatur- und kulturgeschichtliche Studien {\"u}ber Strategien, Formen und Funktionen der Verleiblichung in Texten von der Fr{\"u}hzeit bis zum Cyberspace / Burkhardt Krause ... (Hrsg.)}, publisher = {R{\"o}hrig-Univ.-Verl.}, address = {St. Ingbert}, isbn = {3-86110-089-4}, pages = {219 -- 246}, year = {1996}, language = {de} } @article{Mayer1994, author = {Mayer, Claudia}, title = {Weiße Schimmel gibt's nicht mehr. Zum Problem der literarischen {\"A}sthetik}, series = {Zwischen Traum und Trauma - die Nation : transatlantische Perspektiven zur Geschichte eines Problems / Claudia Mayer-Iswandy (Hrsg.)}, journal = {Zwischen Traum und Trauma - die Nation : transatlantische Perspektiven zur Geschichte eines Problems / Claudia Mayer-Iswandy (Hrsg.)}, publisher = {Stauffenburg-Verl.}, address = {T{\"u}bingen}, isbn = {3-86057-132-X}, pages = {85 -- 97}, year = {1994}, language = {de} } @article{Mayer1993, author = {Mayer, Claudia}, title = {Wie national ist die Germanistik? Die Scheu der Literaturwissenschaft vor der eigenen Vergangenheit}, series = {Frankfurter Rundschau. 159 (1993), H. 13.07.1993}, journal = {Frankfurter Rundschau. 159 (1993), H. 13.07.1993}, pages = {14 -- 14}, year = {1993}, language = {de} } @article{Mayer1994, author = {Mayer, Claudia}, title = {Zwischen Traum und Trauma: Einf{\"u}hrende Bemerkungen zum »Komplex Nation«}, series = {Zwischen Traum und Trauma - die Nation : transatlantische Perspektiven zur Geschichte eines Problems / Claudia Mayer-Iswandy (Hrsg.)}, journal = {Zwischen Traum und Trauma - die Nation : transatlantische Perspektiven zur Geschichte eines Problems / Claudia Mayer-Iswandy (Hrsg.)}, publisher = {Stauffenburg-Verl.}, address = {T{\"u}bingen}, isbn = {3-86057-132-X}, pages = {13 -- 24}, year = {1994}, language = {de} } @article{Mayer1991, author = {Mayer, Claudia}, title = {Frauen und Revolution: Der weibliche Anteil an der Geschichte. Christa Wolf und das Ende der DDR}, series = {Women in German Newsletter. 56 (1991)}, journal = {Women in German Newsletter. 56 (1991)}, pages = {29 -- 30}, year = {1991}, language = {de} } @article{Mayer1992, author = {Mayer, Claudia}, title = {Auf dem Holzweg zur Wasserstelle. {\"O}kologischer Tourismus auf der Karibik-Insel St. John}, series = {Frankfurter Rundschau. 81 (1992), H. 14}, journal = {Frankfurter Rundschau. 81 (1992), H. 14}, pages = {M5 -- M5}, year = {1992}, language = {de} } @article{Mayer1991, author = {Mayer, Claudia}, title = {Aspekte der Wiedervereinigung in der aktuellen deutschen Literatur.}, series = {Forum Deutsch : Informationen, Meinungen, Materialien und Tips f{\"u}r kanadische Deutschlehrer / St{\"a}ndige Konferenz kanadischer Deutschlehrer (1991)}, journal = {Forum Deutsch : Informationen, Meinungen, Materialien und Tips f{\"u}r kanadische Deutschlehrer / St{\"a}ndige Konferenz kanadischer Deutschlehrer (1991)}, pages = {16 -- 22}, year = {1991}, language = {de} } @article{Mayer1990, author = {Mayer, Claudia}, title = {Das Ich ist eine Illusion}, series = {Deutsches Allgemeines Sonntagsblatt (1990)}, journal = {Deutsches Allgemeines Sonntagsblatt (1990)}, pages = {16 -- 16}, year = {1990}, language = {de} } @article{Mayer1990, author = {Mayer, Claudia}, title = {Bali. Bl{\"u}teninsel im Indischen Ozean. Reisebericht}, series = {Fliegende Bl{\"a}tter / Condor (1990)}, journal = {Fliegende Bl{\"a}tter / Condor (1990)}, pages = {61 -- 64}, year = {1990}, language = {de} } @article{Mayer1989, author = {Mayer, Claudia}, title = {Elf Tage Schweigen. Bericht zu Buddhismus und Meditation in Thailand}, series = {Frankfurter Allgemeine Zeitung (1989)}, journal = {Frankfurter Allgemeine Zeitung (1989)}, pages = {R5 -- R6}, year = {1989}, language = {de} } @article{Mayer1988, author = {Mayer, Claudia}, title = {Von »Unterbrechungen« und »Engf{\"u}hrungen«. Lyrik und Prosa in Butt und R{\"a}ttin}, series = {G{\"u}nter Grass}, journal = {G{\"u}nter Grass}, publisher = {Ed. Text + Kritik}, address = {M{\"u}nchen}, isbn = {3-88377-285-2}, pages = {84 -- 92}, year = {1988}, language = {de} } @inproceedings{Ritz2007, author = {Ritz, Thomas}, title = {Die benutzerzentrierte Entwicklung mobiler Unternehmenssoftware}, series = {MMS 2007: Mobilit{\"a}t und mobile Informationssysteme : 2nd conference of GI-Fachgruppe MMS ; March 6th, 2007 in Aachen, Germany}, booktitle = {MMS 2007: Mobilit{\"a}t und mobile Informationssysteme : 2nd conference of GI-Fachgruppe MMS ; March 6th, 2007 in Aachen, Germany}, editor = {K{\"o}nig-Ries, Brigitta}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-198-0}, pages = {23 -- 35}, year = {2007}, language = {de} } @book{Muehl2006, author = {M{\"u}hl, Thomas}, title = {Einf{\"u}hrung in die elektrische Messtechnik. Grundlagen, Messverfahren, Ger{\"a}te ; mit 8 Tabellen und 53 Beispielen. 2., durchges. Aufl.}, publisher = {Teubner}, address = {Wiesbaden}, isbn = {3-8351-0094-7}, pages = {278 S. : graph. Darst.}, year = {2006}, language = {de} } @article{Mayer1996, author = {Mayer, Claudia}, title = {Danach ging das Leben weiter : Macht und Gewalt im Geschlechterkampf bei G{\"u}nter Grass. Mayer-Iswandy, Claudia}, series = {Alte Welten - neue Welten : Akten des IX. Kongresses der Internationalen Vereinigung f{\"u}r germanische Sprach- und Literaturwissenschaft (IVG) ; [Akten des IX. Internationalen Germanisten-Kongresses, Vancouver 1995] / hrsg. von Michael S. Batts. Bd. 2: Abstracts}, journal = {Alte Welten - neue Welten : Akten des IX. Kongresses der Internationalen Vereinigung f{\"u}r germanische Sprach- und Literaturwissenschaft (IVG) ; [Akten des IX. Internationalen Germanisten-Kongresses, Vancouver 1995] / hrsg. von Michael S. Batts. Bd. 2: Abstracts}, publisher = {Niemeyer}, address = {T{\"u}bingen}, isbn = {3-484-10716-2}, pages = {37}, year = {1996}, language = {de} } @article{HeuermannErkens2006, author = {Heuermann, Holger and Erkens, H.}, title = {Novel RF switch concepts for differential wireless communications frontends. Erkens, H.; Heuermann, H.}, series = {IEEE Transactions on Microwave Theory and Techniques. 54 (2006), H. 6, Part 1}, journal = {IEEE Transactions on Microwave Theory and Techniques. 54 (2006), H. 6, Part 1}, isbn = {0018-9480}, pages = {2376 -- 2382}, year = {2006}, language = {en} } @book{Benkner2007, author = {Benkner, Thorsten}, title = {Grundlagen des Mobilfunks}, publisher = {Schlembach}, address = {Wilburgstetten}, isbn = {978-3-935340-44-1}, pages = {IX, 374 S.}, year = {2007}, language = {de} } @book{Lepers2007, author = {Lepers, Heinrich}, title = {SPS-Programmierung nach IEC 61131-3 : mit Beispielen f{\"u}r CoDeSys und STEP 7 / 2. Aufl.}, publisher = {Franzis}, address = {Poing}, isbn = {978-3-7723-5805-0}, pages = {350 S. : Ill., graph. Darst. + 3 CD-ROMs}, year = {2007}, language = {de} } @article{MuehlBinneboeselKlingeetal.2008, author = {M{\"u}hl, Thomas and Binneb{\"o}sel, Marcel and Klinge, Uwe and Goedderz, Thomas}, title = {New objective measurement to characterize the porosity of textile implants}, series = {Journal of Biomedical Materials Research Part B: Applied Biomaterials. 84B (2008), H. 1}, journal = {Journal of Biomedical Materials Research Part B: Applied Biomaterials. 84B (2008), H. 1}, isbn = {1552-4981}, pages = {176 -- 183}, year = {2008}, language = {en} } @inproceedings{DammRitzStrauch2011, author = {Damm, Sebastian and Ritz, Thomas and Strauch, Jakob}, title = {Muster und Cloud Computing als Plattformstrategie f{\"u}r mobile Unternehmenssoftware}, series = {Mobile und ubiquit{\"a}re Informationssysteme : MMS 2011 ; proceedings der 6. Konferenz, 28. Februar 2011 in Kaiserslautern, Deutschland. - (GI-Edition lecture notes in informatics ; 185)}, booktitle = {Mobile und ubiquit{\"a}re Informationssysteme : MMS 2011 ; proceedings der 6. Konferenz, 28. Februar 2011 in Kaiserslautern, Deutschland. - (GI-Edition lecture notes in informatics ; 185)}, editor = {H{\"o}pfner, Hagen}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-279-6}, pages = {91 -- 104}, year = {2011}, language = {de} } @book{Muehl2008, author = {M{\"u}hl, Thomas}, title = {Einf{\"u}hrung in die elektrische Messtechnik. Grundlagen, Messverfahren, Ger{\"a}te ; mit 2 Tabellen und 54 Beispielen sowie 15 Aufgaben mit L{\"o}sungen. 3., neu bearb. Aufl.}, publisher = {Vieweg + Teubner}, address = {Wiesbaden}, isbn = {978-3-8351-0189-0}, pages = {313 S. : Ill., graph. Darst.}, year = {2008}, language = {de} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {On the formulation of the fundamental solutions for orthotropic plane elasticity}, series = {Acta Mechanica. 57 (1985), H. 3-4}, journal = {Acta Mechanica. 57 (1985), H. 3-4}, isbn = {1619-6937}, pages = {113 -- 122}, year = {1985}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {On the complete system of fundamental solutions for anisotropic slices and slabs: A comparison by use of the slab analogy}, series = {Journal of Elasticity. 15 (1985), H. 3}, journal = {Journal of Elasticity. 15 (1985), H. 3}, isbn = {1573-2681}, pages = {293 -- 318}, year = {1985}, language = {en} } @article{ZastrowHackl1988, author = {Zastrow, Udo and Hackl, Klaus}, title = {On the existence, uniqueness and completeness of displacements and stress functions in linear elasticity / Hackl, Klaus ; Zastrow, Udo}, series = {Journal of Elasticity. 19 (1988), H. 1}, journal = {Journal of Elasticity. 19 (1988), H. 1}, isbn = {1573-2681}, pages = {3 -- 23}, year = {1988}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {Basic geometrical singularities in plane-elasticity and plate-bending problems}, series = {International Journal of Solids and Structures. 21 (1985), H. 10}, journal = {International Journal of Solids and Structures. 21 (1985), H. 10}, isbn = {0020-7683}, pages = {1047 -- 1067}, year = {1985}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {Numerical plane stress analysis by integral equations based on the singularity method}, series = {SM archives . 10 (1985)}, journal = {SM archives . 10 (1985)}, isbn = {0376-7426}, pages = {113 -- 128}, year = {1985}, language = {en} } @article{HeuermannErkens2007, author = {Heuermann, Holger and Erkens, H.}, title = {Mixed-Mode Chain Scattering Parameters: Theory and Verification}, series = {IEEE Transactions on Microwave Theory and Techniques}, volume = {55}, journal = {IEEE Transactions on Microwave Theory and Techniques}, number = {8}, publisher = {IEEE}, address = {New York}, isbn = {0018-9480}, doi = {10.1109/TMTT.2007.902587}, pages = {1704 -- 1708}, year = {2007}, abstract = {Chain scattering parameters or T-parameters are a useful tool for calculating cascaded two-ports. With the increasing importance of mixed-mode S-parameters, a need for converting the T-parameters from their unbalanced form into a balanced form emerges for suiting both common and differential mode waves, as well as the mode conversion. This paper presents the derivation of the equations for transformations between mixed-mode S- and T-parameters for a mixed-mode two-port. Although derived in a way very similar to monomode T-parameters, no simplifications were necessary. Measurement results exemplify the quality of the T-parameter transformation under real-life conditions.}, language = {en} } @article{ZastrowPanagiotopoulos1979, author = {Zastrow, Udo and Panagiotopoulos, P. D.}, title = {An integral "Equation" approach to the unilateral contact problem}, series = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8}, journal = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8}, isbn = {1521-4001}, pages = {392 -- 393}, year = {1979}, language = {en} } @article{ZastrowRieder1976, author = {Zastrow, Udo and Rieder, G.}, title = {Eine Variante des Kraftgr{\"o}ßenverfahrens f{\"u}r ebene Rahmentragwerke}, series = {Wissenschaftliche Zeitschrift / Hochschule f{\"u}r Architektur und Bauwesen}, volume = {23}, journal = {Wissenschaftliche Zeitschrift / Hochschule f{\"u}r Architektur und Bauwesen}, number = {3}, publisher = {HAB}, address = {Weimar}, isbn = {0509-9773}, pages = {304 -- 306}, year = {1976}, language = {de} } @book{Fassbender1995, author = {Faßbender, Heinz}, title = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.}, publisher = {Shaker}, address = {Aachen}, isbn = {3-8265-0917-X}, pages = {IX, 272 S. : graph. Darst.}, year = {1995}, language = {de} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, year = {1994}, language = {en} } @book{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification driven leftmost outermost narrowing}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {47 S. : graph. Darst.}, year = {1992}, language = {en} } @book{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions}, publisher = {TU, Fak. Informatik}, address = {Dresden}, pages = {27 S. : graph. Darst.}, year = {1996}, language = {en} } @article{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {An implementation of syntax directed functional programming on nested-stack machines}, series = {Formal Aspects of Computing. 4 (1992), H. 4}, journal = {Formal Aspects of Computing. 4 (1992), H. 4}, isbn = {0934-5043}, pages = {341 -- 375}, year = {1992}, language = {en} } @book{Fassbender1989, author = {Faßbender, Heinz}, title = {Implementierung der Call-by-Need Auswertungsstrategie f{\"u}r Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabeb{\"a}ndern}, address = {Aachen}, year = {1989}, language = {de} } @article{Fassbender1993, author = {Faßbender, Heinz}, title = {Implementation of a universal unification algorithm for macro tree transducers}, series = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, journal = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-57163-9}, pages = {222 -- 233}, year = {1993}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {Implementation of a UU-Algorithm for primitive recursive tree functions}, series = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, journal = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60249-6}, pages = {233 -- 242}, year = {1995}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {A verified implementation of narrowing}, series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, journal = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60359-X}, pages = {63 -- 80}, year = {1995}, language = {en} } @article{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, journal = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-61735-3}, pages = {194 -- 208}, year = {1996}, language = {en} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Applying Ada, Java and CORBA for making a command and control information system platform independent}, series = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, journal = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-127-5}, pages = {83 -- 88}, year = {1999}, language = {en} } @article{Mayer2007, author = {Mayer, Claudia}, title = {Internet statt Zeitung? Nein, Internet und Zeitung!}, series = {Aachener Zeitung. 08.01.2007 (2007)}, journal = {Aachener Zeitung. 08.01.2007 (2007)}, year = {2007}, language = {de} } @article{Mayer2006, author = {Mayer, Claudia}, title = {Die Lebensbeichte des G{\"u}nter Grass}, series = {Aachener Zeitung. 28.12.2006 (2006)}, journal = {Aachener Zeitung. 28.12.2006 (2006)}, pages = {8}, year = {2006}, language = {de} } @article{Mayer2006, author = {Mayer, Claudia}, title = {Die Beichte eines Mahners an seinem Lebensabend. Das sp{\"a}te Bekenntnis des G{\"u}nter Grass. Analysierende R{\"u}ckschau auf sein SS-Eingest{\"a}ndnis}, series = {Aachener Nachrichten. 28.12.2006 (2006)}, journal = {Aachener Nachrichten. 28.12.2006 (2006)}, pages = {8}, year = {2006}, language = {de} } @article{Mayer2008, author = {Mayer, Claudia}, title = {Meine besten Rezepte}, series = {Kinder, Karriere, Kochvergn{\"u}gen : Prominente Aachenerinnen verraten ihre besten Rezepte / Hrsg. von Claudia Dechamps . Fotos: Harald Kr{\"o}mer}, journal = {Kinder, Karriere, Kochvergn{\"u}gen : Prominente Aachenerinnen verraten ihre besten Rezepte / Hrsg. von Claudia Dechamps . Fotos: Harald Kr{\"o}mer}, publisher = {Corporate Publishing Claudia Dechamps}, address = {Aachen}, pages = {30 -- 33}, year = {2008}, language = {de} } @article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} } @article{FassbenderMoessleVogler1996, author = {Faßbender, Heinz and M{\"o}ßle, Andrea and Vogler, Heiko}, title = {Implementation of a deterministic partial e-unification algorithm for macro tree transducers}, series = {Journal of functional and logic programming. 1996 (1996), H. 2}, journal = {Journal of functional and logic programming. 1996 (1996), H. 2}, isbn = {1080-5230}, year = {1996}, language = {en} } @article{Fassbender2001, author = {Faßbender, Heinz}, title = {Reengineering an Ada95-programmed command and control information system by using UML}, series = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, journal = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-392-8}, pages = {53 -- 60}, year = {2001}, language = {en} } @article{FassbenderManeth1998, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Journal of functional and logic programming. 1998 (1998), H. 4}, journal = {Journal of functional and logic programming. 1998 (1998), H. 4}, isbn = {1080-5230}, year = {1998}, language = {en} }