TY - JOUR A1 - Zastrow, Udo A1 - Rieder, G. T1 - Bracketing eigenvalues of an oscillating elastic body by integral equations JF - Bracketing of eigenfrequencies of continous structures : Euromech Colloquium, no. 112, Mátrafüred (Hungary), 21 - 23 February, 1979 / ed. by À. Bosznay Y1 - 1980 SN - 963-05-2625-5 N1 - Euromech Colloquium <112, 1979, Mátrafüred> SP - 421 EP - 434 PB - Akad. Kiadó CY - Budapest ER - TY - JOUR A1 - Zastrow, Udo T1 - On the complete system of fundamental solutions for anisotropic slices and slabs: A comparison by use of the slab analogy JF - Journal of Elasticity. 15 (1985), H. 3 Y1 - 1985 SN - 1573-2681 SP - 293 EP - 318 ER - TY - JOUR A1 - Zastrow, Udo A1 - Hackl, Klaus T1 - On the existence, uniqueness and completeness of displacements and stress functions in linear elasticity / Hackl, Klaus ; Zastrow, Udo JF - Journal of Elasticity. 19 (1988), H. 1 Y1 - 1988 SN - 1573-2681 SP - 3 EP - 23 ER - TY - JOUR A1 - Zastrow, Udo T1 - Basic geometrical singularities in plane-elasticity and plate-bending problems JF - International Journal of Solids and Structures. 21 (1985), H. 10 Y1 - 1985 SN - 0020-7683 SP - 1047 EP - 1067 ER - TY - JOUR A1 - Zastrow, Udo T1 - Numerical plane stress analysis by integral equations based on the singularity method JF - SM archives . 10 (1985) Y1 - 1985 SN - 0376-7426 SP - 113 EP - 128 ER - TY - JOUR A1 - Zastrow, Udo A1 - Panagiotopoulos, P. D. T1 - An integral "Equation" approach to the unilateral contact problem JF - ZAMM - Zeitschrift für angewandte Mathematik und Mechanik. 59 (1979), H. 8 Y1 - 1979 SN - 1521-4001 SP - 392 EP - 393 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - An implementation of syntax directed functional programming on nested-stack machines JF - Formal Aspects of Computing. 4 (1992), H. 4 Y1 - 1992 SN - 0934-5043 SP - 341 EP - 375 ER - 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 -