TY  - JOUR
A1  - Faßbender, Heinz
T1  - A verified implementation of narrowing
JF  - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)
Y1  - 1995
SN  - 3-540-60359-X
N1  - (Lecture notes in computer science ; 982)
SP  - 63
EP  - 80
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
JF  - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)
Y1  - 1996
SN  - 3-540-61735-3
N1  - (Lecture notes in computer science ; 1139)
SP  - 194
EP  - 208
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - Applying Ada, Java and CORBA for making a command and control information system platform independent
JF  - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference
Y1  - 1999
SN  - 1-58113-127-5
N1  - (Ada letters ; 19,3)
SP  - 83
EP  - 88
PB  - ACM
CY  - New York, NY
ER  - 
TY  - JOUR
A1  - Mayer, Claudia
T1  - Internet statt Zeitung? Nein, Internet und Zeitung!
JF  - Aachener Zeitung. 08.01.2007 (2007)
Y1  - 2007
N1  - Zukunft der Medien
ER  - 
TY  - JOUR
A1  - Mayer, Claudia
T1  - Die Lebensbeichte des Günter Grass
JF  - Aachener Zeitung. 28.12.2006 (2006)
Y1  - 2006
N1  - Telegramme
SP  - 8
ER  - 
TY  - JOUR
A1  - Mayer, Claudia
T1  - Die Beichte eines Mahners an seinem Lebensabend.  Das späte Bekenntnis des Günter Grass. Analysierende Rückschau auf sein SS-Eingeständnis
JF  - Aachener Nachrichten. 28.12.2006 (2006)
Y1  - 2006
SP  - 8
ER  - 
TY  - JOUR
A1  - Mayer, Claudia
T1  - Meine besten Rezepte
JF  - Kinder, Karriere, Kochvergnügen : Prominente Aachenerinnen verraten ihre besten Rezepte / Hrsg. von Claudia Dechamps . Fotos: Harald Krömer
Y1  - 2008
SP  - 30
EP  - 33
PB  - Corporate Publishing Claudia Dechamps
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification-driven leftmost outermost narrowing
JF  - Acta Cybernetica. 11 (1994), H. 3
Y1  - 1994
SN  - 0324-721x
SP  - 139
EP  - 167
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Mößle, Andrea
A1  - Vogler, Heiko
T1  - Implementation of a deterministic partial e-unification algorithm for macro tree transducers
JF  - Journal of functional and logic programming. 1996 (1996), H. 2
Y1  - 1996
SN  - 1080-5230
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Reengineering an Ada95-programmed command and control information system by using UML
JF  - 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)
Y1  - 2001
SN  - 1-58113-392-8
N1  - (Ada letters ; 21,4)
SP  - 53
EP  - 60
PB  - ACM
CY  - New York, NY
ER  -