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  - Hanrath, Wilhelm
T1  - Character tables of some factor groups of space groups
JF  - Perfect groups / Derek F. Holt and W. Plesken
Y1  - 1989
SN  - 0-19-853559-7
SP  - 357
EP  - 359
PB  - Clarendon Press
CY  - Oxford
ER  - 
TY  - JOUR
A1  - Hanrath, Wilhelm
A1  - Plesken, Wilhelm
T1  - Group rings and irreducible representations of space groups / by W. Hanrath and W. Plesken
JF  - Journal für die reine und angewandte Mathematik. 362 (1985)
Y1  - 1985
SN  - 0075-4102
SP  - 130
EP  - 140
ER  - 
TY  - JOUR
A1  - Hanrath, Wilhelm
A1  - Plesken, Wilhelm
T1  - The lattices of six-dimensional euclidean space
JF  - Mathematics of computation. 43 (1984), H. 168
Y1  - 1984
SN  - 0025-5718
SP  - 573
EP  - 587
ER  - 
TY  - JOUR
A1  - Mertens, Josef
T1  - Laminar flow for supersonic transports
JF  - Proceedings : March 16 - 18, 1992, Congress Centrum, Hamburg, Federal Republic of Germany / organized jointly by: Deutsche Gesellschaft für Luft- und Raumfahrt e.V. ... [Programme committee J. Szodruch ...]
Y1  - 1992
SN  - 3-922010-73-3
N1  - DGLR-Bericht ; 92,06
SP  - 319
EP  - 323
PB  - DGLR
CY  - Bonn
ER  - 
TY  - JOUR
A1  - Janz, Norbert
A1  - Goedhuys, Micheline
A1  - Mohnen, Pierre
T1  - What drives productivity in Tanzanian manufacturing firms: technology or business environment?  / Goedhuys, Micheline ; Janz, Norbert ; Mohnen, Pierre
JF  - The European Journal of Development Research. 20 (2008), H. 2
Y1  - 2008
SN  - 1743-9728
SP  - 199
EP  - 218
ER  -