Yamada, H.; Geiger, J.; Stroth, U.; Weller, A.; Howe, H. C.: Remarks on Application to VMEC and PROCTR to the Wendelstein 7-AS Experiment. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1994), 34 S.

Hummer, G.; Soumpasis, D. M.: A new approach to calculate the hydration of DNA molecules. Los Alamos National Laboratory, Los Alamos (1993), 20 S.

Schyns, P.; Bülthoff, H.: Conditions for viewpoint dependent face recognition. Massachusetts Institute of Technology: Artificial Intelligence Laboratory and Center for Biological and Computational Learning, Cambridge, MA, USA (1993), 6 S.

Antoy, S.; Echahed, R.; Hanus, M.: A needed narrowing strategy. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.

Bachmair, L.; Ganzinger, H.; Lynch, C.; Snyder, W.: Basic paramodulation. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 S.

Ballico, M.; Puri, S.: Calculation of the self-consistent current distribution and coupling of an RF antenna array. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 73 S.

Basin, D.; Bundy, A.; Kraan, I.; Matthews, S.: A framework for program development based on schematic proof. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.

Basin, D. A.; Kraan, I.; Bundy, A.: Middle-out reasoning for logic program synthesis. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.

Beidler, C. D.; Harmeyer, E.; Kisslinger, J.; Ott, I.; Wobig, H.: Studies on a Stellarator Reactor of the Helias Type: The Power Balance. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 23 S.

Bessenrodt-Weberpals, M.; Wagner, F.; ASDEX Team: The Isotope Effect in ASDEX. Max-Planck-Institut für Plasmaphysik, Garching(DE) (1993), 72 S.

Bockmayr, A.; Krischer, S.; Werner, A.: Narrowing strategies for arbitrary canonical rewrite systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 29 S.

Brink, C.; Gabbay, D. M.; Ohlbach, H. J.: Towards automating duality. Max-Planck-Institut für Informatik, Saarbrücken (1993), 50 S.

Casimir, W. v.; Gehre, O.; Kaiser, N.; Keilmann, F.; Plank, K.; Schneider, W.; Zerull, R.: Untersuchung über die Anwendungsmöglichkeit der Mikrowellen- und Infrarotspektroskopie für die Registrierung von Stoffwechselvorgängen in biologischen Systemen.- Investigations of the Metabolism in Biological Systmes Using Microwave and Infrared Spectroscopy. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 24 S.

Dang Nguyen, G.; Schneider, V.; Werle, R.: Corporate Actor Networks in European Policy Making: Harmonizing Telecommunications Policy (MPIfG Discussion Paper, 93/4). Max-Planck-Institut für Gesellschaftsforschung, Köln (1993), 35 S.

Dimopoulos, Y.; Torres, A.: Graph theoretical structures in logic programs and default theories. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.

Dunsire, A.: Manipulating Social Tensions: Collibration as an Alternative Mode of Government Intervention (MPIfG Discussion Paper, 93/7). Max-Planck-Institut für Gesellschaftsforschung, Köln (1993), 49 S.

Eckstein, W.; Garcia-Rosales, C.; Roth, J.; Ottenberger, W.: Sputtering Data. Max-Planck-Institut für Plasmaphysik, Garching (1993), 342 S.

Gupta, P.; Janardan, R.; Smid, M.: Algorithms for some intersection searching problems involving curved objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 43 S.

Gupta, P.; Janardan, R.; Smid, M.: Effizient algorithms for generalized intersection searching on non-iso-oriented objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.

Hanus, M.; Josephs, B.: A debugging model for functional logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.