Kelsen, P.; Mahajan, S.; Hariharan, R.: Approximate Hypergraph Coloring. In: Algorithm Theory - SWAT '96, pp. 41 - 52 (Eds. Karlsson, R.; Lingas, A.). 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 03, 1996 - July 05, 1996. Springer, Berlin, Germany (1996)

Keßler, C. W.; Träff, J. L.: A Library of basic PRAM Algorithms and its Implementation in FORK. In: 8th Annual ACM Symposium on Parallel Algorithms and Architechtures (SPAA'96), pp. 193 - 195. 8th Annual ACM Symposium on Parallel Algorithms and Architechtures , Padua, Italy, June 24, 1996 - June 26, 1996. ACM, New York, USA (1996)

Krishna Rao, M. R. K.: A class of Prolog programs inferable from positive data. In: Algorithmic Learning Theory, pp. 272 - 284 (Eds. Arikawa, S.; Sharma, A.). 7th International Workshop on Algorithmic Learning Theory, Sydney, Australia, October 23, 1996 - October 25, 1996. Springer, Berlin, Germany (1996)

Krishna Rao, M. R. K.: Completeness results for basic narrowing in non-copying implementations. In: Logic Programming, pp. 393 - 407 (Ed. Maher, M.). Untitled Event, Bonn, Germany, 1996. MIT Press, Cambridge, USA (1996)

Krishna Rao, M. R. K.: Learning Prolog programs from examples. In: Knowledge Based Computer Systems, pp. 19 - 30 (Eds. Anjaneyulu, K.; Sasikumar, M.; Ramani, S.). Untitled Event, Bombay, India, 1996. Narosa, New Delhi, India (1996)

Krishna Rao, M. R. K.: Modularity of Termination in Term Graph Rewriting. In: Rewriting Techniques and Applications, pp. 230 - 244 (Ed. Ganzinger, H.). 7th International Conference on Rewriting Techniques and Applications, New Brunswick, NJ, USA, July 27, 1996 - July 30, 1996. Springer, Berlin, Germany (1996)

Krishna Rao, M. R. K.: Some Characteristics of Strong Innermost Normalization. In: Algebraic Methodology and Software Technology, pp. 406 - 420 (Eds. Wirsing, M.; Nivat, M.). 5th International Conference on Algebraic Methodology and Software Technology, Munich, Germany, July 01, 1996 - July 05, 1996. Springer, Berlin, Germany (1996)

Krithivasan, K.; Rema, A.; Schirra, S.; Vijaykumar, P.I.: Velocity Planning for a Robot Moving Along the Shortest Straight Line Path Among Moving Obstacles. In: Proceedings of the 8th Canadian Conference on Computational Geometry, pp. 149 - 154 (Eds. Fiala, F.; Kranakis, E.; Sack, J.-R.). 8th Canadian Conference on Computational Geometry, Ottawa, Canada, August 12, 1996 - August 15, 1996. Carleton University Press, Ottawa, Canada (1996)

Matthews, S.: Implementing FS0 in Isabelle: Adding Structure at the Metalevel. In: Design and Implementation of Symbolic Computation Systems, pp. 228 - 239 (Ed. Paulson, L. C.). International Symposium on Design and Implementation of Symbolic Computation Systems, Karlsruhe, Germany, September 18, 1996 - September 20, 1996. Springer, Berlin, Germany (1996)

Mehlhorn, K.: Position Paper for Panel Discussion. In: Applied Computational Geormetry, Towards Geometric Engineering, pp. 51 - 52 (Eds. Lin, M. C.; Manocha, D.). FCRC'96 Workshop, WACG'96, Philadelphia, PA, USA, May 27, 1996 - May 28, 1996. Springer, Berlin, Germany (1996)

Mehlhorn, K.: The LEDA Platform of Combinatorial and Geometric Computing. In: Proceedings of Conference on Computing: The Australian Theory Symposium, p. 126 - 126. Untitled Event, Townsville, January 29, 1996. ??, ?? (1996)

Mehlhorn, K.; Claus, V.; Thomas, W.: Komplexitätstheorie und Algorithmik. In: Informatik: Grundlagen - Anwendungen - Perspektiven, pp. 113 - 116. Untitled Event, Dagstuhl, Germany, November 14, 1994. Beck, Munich, Germany (1996)

Mehlhorn, K.; Näher, S.; Schilz, T.; Schirra, S.; Seel, M.; Seidel, R.; Uhrig, C.: Checking Geometric Programs or Verification of Geometric Structures. In: Proceedings of the 12th Annual ACM Symposium on Computational Geometry, pp. 159 - 165. 12th Annual ACM Symposium on Computational Geometry, Philadelphia, PA, USA, May 24, 1996 - May 26, 1996. ACM, New York, NY (1996)

Mehlhorn, K.; Näher, S.; Uhrig, C.: The LEDA Platform for Combinatorial and Geometric Computing. In: Beherrschung von Informationssystemen: Tagungsband der Informatik '96 ; GI - 26. Jahrestagung, pp. 43 - 50. Untitled Event, Klagenfurt; Österreich, September 25, 1996. Österreichische Computer Gesellschaft (OCG) / Austrian Computer Society, Wien, Austria (1996)

Mutzel, P.: An Alternative Method to Crossing Minimization on Hierarchical Graphs. In: Graph Drawing, pp. 318 - 333 (Ed. North, S.). Symposium on Graph Drawing, GD '96, Berkeley, CA, USA, September 18, 1996 - September 20, 1996. Springer, Berlin, Germany (1996)

Nonnengart, A.: Resolution-Based Calculi for Modal and Temporal Logics. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), pp. 598 - 612 (Eds. McRobbie, M. A.; Slaney, J. K.). Untitled Event, New Brunswick, USA, 1996. Springer, Berlin, Germany (1996)

Ohlbach, H. J.: SCAN-Elimination of Predicate Quantifiers. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), pp. 161 - 165 (Eds. McRobbie, M. A.; Slaney, J. K.). Untitled Event, New Brunswick, New Jersey, USA, 1996. Springer, Berlin, Germany (1996)

Pfeifle, R.; Seidel, H.-P.: Triangular B-Splines for Blending and Filling of Polygonal Holes. In: Proceedings of Graphics Interface '96, pp. 186 - 193 (Eds. Davis, W. A.; Bartels, R. H.). Graphics Interface 1996 Conference, Toronto, Canada, May 22, 1996 - May 24, 1996. Canadian Human-Computer Communications Society, Toronto (1996)

Preetham, A. J.; Krithivasan, K.; Rangan, C. P.; Sibeyn, J. F.: Parallel algorithm for maximum empty L-shaped polygon. In: 3rd Conference on High-Performance Computing. Untitled Event, -, 1996. IEEE, Los Alamitos, USA (1996)

Schiele, B.; Crowley, J. L.: Probabilistic Object Recognition using Multidimensional Receptive Field Histograms. In: Proceedings of the 13th International Conference on Pattern Recognition, pp. 50 - 54. 13th International Conference on Pattern Recognition, Vienna, Austria, August 25, 1996 - August 29, 1996. IEEE Computer Society, Los Alamitos, CA (1996)