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  - 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  - JOUR
A1  - Alt, Helmut
T1  - Netzanschlußmöglichkeiten und energiewirtschaftliche Bewertung von Windkraftanlagen
JF  - Elektrizitätswirtschaft
Y1  - 1995
SN  - 0013-5496
VL  - Jg. 94
IS  - H. 19
SP  - 1224
EP  - 1234
ER  - 
TY  - JOUR
A1  - Alt, Helmut
T1  - Netzimpedanz- und Oberschwingungsberechnung in Netzen der öffentlichen Stromversorgung
JF  - Elektrizitätswirtschaft
Y1  - 1995
SN  - 0013-5496
VL  - Bd. 94
IS  - H. 4
SP  - 166
EP  - 174
ER  -