TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a universal unification algorithm for macro tree transducers
JF  - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.)
Y1  - 1993
SN  - 3-540-57163-9
N1  - (Lecture notes in computer science ; 710)
SP  - 222
EP  - 233
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a UU-Algorithm for primitive recursive tree functions
JF  - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)
Y1  - 1995
SN  - 3-540-60249-6
N1  - (Lecture notes in computer science ; 965)
SP  - 233
EP  - 242
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
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  - 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  - Zastrow, Udo
T1  - Zur Berechnung anisotroper Scheiben durch singuläre Integralgleichungen
JF  - ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik.
Y1  - 1978
SN  - 1521-4001
U6  - https://doi.org/10.1002/zamm.19780580605
VL  - 58
IS  - 6
SP  - T132
EP  - T133
PB  - Wiley-VCH
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - Anisotrope Scheiben mit gemischten Randbedingungen
JF  - ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik. 59 (1979), H. 5
Y1  - 1979
SN  - 1521-4001
SP  - T218
EP  - T219
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - Die Airysche Spannungsfunktion für die unendliche anisotrope, orthotrope und isotrope Scheibe
JF  - ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik. 60 (1980), H. 6
Y1  - 1980
SN  - 1521-4001
SP  - T159
EP  - T160
ER  - 
TY  - BOOK
A1  - Zastrow, Udo
T1  - Berechnung von anisotropen Scheiben mit gemischten Randbedingungen durch singulaere Integralgleichungen
Y1  - 1979
N1  - Aachen, Diss., 1979
ER  - 
TY  - BOOK
A1  - Zastrow, Udo
T1  - Zur Lösung von Halbraumproblemen nach der Spannungsfunktionenmethode : neue u. alte Ansätze für Verschiebungs- u. Spannungsfunktionen in d. räuml. Elastizitätstheorie
Y1  - 1986
SN  - 3-18-143318-7
N1  - Zugl.: Aachen, Techn. Hochsch., Habil.-Schr. ; Fortschritt-Berichte VDI : Reihe 18 ; 33
PB  - VDI-Berl.
CY  - Düsseldorf
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - Die Einflußfunktionen der Einzelkraft und der Stufenversetzung in der anisotropen Vollebene
JF  - Archive of Applied Mechanics - Ingenieur Archiv. 51 (1981), H. 1-2
Y1  - 1981
SN  - 1432-0681
SP  - 89
EP  - 99
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - Zum System der Einflußfunktionen für die unendliche anisotrope Scheibe mit statischen und geometrischen Singularitäten
JF  - Archive of Applied Mechanics - Ingenieur Archiv. 55 (1985), H. 2
Y1  - 1985
SN  - 1432-0681
SP  - 124
EP  - 133
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - Solution of plane anisotropic elastostatical boundary value problems by singular integral equations
JF  - Acta Mechanica. 44 (1982), H. 1-2
Y1  - 1982
SN  - 1619-6937
SP  - 59
EP  - 71
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - On the formulation of the fundamental solutions for orthotropic plane elasticity
JF  - Acta Mechanica. 57 (1985), H. 3-4
Y1  - 1985
SN  - 1619-6937
SP  - 113
EP  - 122
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
T1  - E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
Y1  - 1995
SN  - 3-8265-0917-X
N1  - (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995
PB  - Shaker
CY  - Aachen
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Y1  - 1994
N1  - (Ulmer Informatik-Berichte ; 94,4)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification driven leftmost outermost narrowing
Y1  - 1992
N1  - (Ulmer Informatik-Berichte ; 92,7)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions
Y1  - 1996
N1  - (Technische Berichte ; 96,21)
PB  - TU, Fak. Informatik
CY  - Dresden
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Gladtz, Katia
A1  - Vogler, Heiko
T1  - Compiler based implementation of syntax directed functional programming
Y1  - 1991
N1  - (Aachener Informatik-Berichte ; 91,10)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  -