@book{SammFaissnerHenrigsetal.1982, author = {Samm, Doris and Faissner, H. and Henrigs, W. and Preussger, A.}, title = {Further evidence for the radiative decay of a light, penetrating particle / Faissner, H. ; Heinrigs, W. ; Preussger, A. ; Samm, D.}, publisher = {Technische Hochschule}, address = {Aachen}, pages = {16}, year = {1982}, language = {en} } @book{FassbenderVogler1990, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A call-by-need implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {44 S. : graph. Darst.}, year = {1990}, language = {en} } @book{FassbenderGladtzVogler1991, author = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko}, title = {Compiler based implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {37 S.}, year = {1991}, 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{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{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} } @book{Siepmann1997, author = {Siepmann, Thomas}, title = {Modeller for Value Systems}, publisher = {Erasmus Universiteit Rotterdam}, address = {Rotterdam}, year = {1997}, language = {en} } @book{Benkner1998, author = {Benkner, Thorsten}, title = {Wireless ATM Access and Advanced Software Techniques for Mobile Network Architektures. Deliverable 1: Service requirements, state of the art and guidelines for the development for future radio and mobile networks.}, year = {1998}, language = {en} } @book{BenknerDavid1999, author = {Benkner, Thorsten and David, Klaus}, title = {Digitale Mobilfunksysteme : Grundlagen und aktuelle Systeme. - 2., aktualis. u. erw. Aufl.}, publisher = {Teubner}, address = {Stuttgart}, isbn = {3-519-16181-8}, pages = {XIII, 457 S.. : graph. Darst.}, year = {1999}, language = {en} } @book{WolfFoltzKillich2000, author = {Wolf, Martin and Foltz, Christian and Killich, S.}, title = {K3 User Guide}, publisher = {RWTH}, address = {Aachen}, pages = {1 -- 13}, year = {2000}, language = {en} }