Brodal, G. S.; Gasieniec, L.: Approximate Dictionary Queries. In: Combinatorial Pattern Matching: 7th Annual Symposium (CPM'96), S. 65 - 74 (Hg. Hirschberg, D.; Myers, G.). Untitled Event, Laguna Beach, 10. Juni 1996 - 12. Juni 1996. Springer, Berlin, Germany (1996)

Calinescu, G.; Fernandes, C. G.; Finkler, U.; Karloff, H.: A Better Approximation Algorithm for Finding Planar Subgraphs. In: Proceedings of the 7th Annual ACM-SIAM Symposium on Discrete Algorithms, S. 16 - 25. 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Georgia, USA, 28. Januar 1996 - 30. Januar 1996. ACM, New York, NY (1996)

Cantu, F.; Bundy, A.; Smaill, A.; Basin, D. A.: Experiments in Automating Hardware Verification using Inductive Proof Planning. In: Formal Methods for Computer-Aided Design, S. 94 - 108 (Hg. Srivas, M.; Camilleri, A.). First International Conference on Formal Methods in Computer-aided Design, Palo Alto, CA, USA, 06. November 1996 - 08. November 1996. Springer, Berlin, Germany (1996)

Charatonik, W.; Podelski, A.: The Independence Property of a Class of Set Constraints. In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), S. 76 - 90 (Hg. Freuder, E.). Untitled Event, Cambridge, USA, 1996. Springer, Berlin, Germany (1996)

Chaudhuri, S.; Radhakrishnan, J.: Deterministic restrictions in circuit complexity. In: Proceedings of the 28th Annual ACM Symposium on the Theory of Computing, S. 30 - 36. 28th Annual ACM Symposium on Theory of Computing, Philadelphia, PA, USA, 22. Mai 1996 - 24. Mai 1996. ACM, New York (1996)

Chen, D. Z.; Das, G.; Smid, M.: Lower Bounds for Computing Geometric Spanners and Approximate Shortest Paths. In: Proceedings of the 8th Canadian Conference on Computational Geometry, S. 155 - 160 (Hg. Fiala, F.; Kranakis, E.; Sack, J.-R.). 8th Canadian Conference on Computational Geometry, Ottawa, Canada, 12. August 1996 - 15. August 1996. Carleton University Press, Ottawa (1996)

Chlebus, B. S.; Czumaj, A.; Gasieniec, L.; Kowaluk, M.; Plandowski, W.: Parallel Alternating-Direction Access Machine. In: Mathematical Foundations of Computer Science 1996, S. 267 - 278 (Hg. Penczek, W.; Szalas, A.). 21st International Symposium on Mathematical Foundations of Computer Science, Cracow, Poland, 02. September 1996 - 06. September 1996. Springer, Berlin (1996)

Chong, K. W.: Finding minimum spanning trees on the EREW PRAM. In: International Computer Symposium, S. 7 - 14. Untitled Event, Taiwan, 1996. -, - (1996)

Chong, K. W.; Lam, T. W.: Towards more precise parallel biconnectivity approximation. In: 7th Annual International Symposium on Algorithms and Computation, S. 223 - 232. Untitled Event, Osaka, 1996. -, - (1996)

Cole, R.; Hariharan, R.: An O(n log n) algorithm for the maximum agreement subtree problem for binary trees. In: 7th ACM-SIAM Symposium on Discrete Algorithms (SODA96), S. 323 - 332. Untitled Event, Georgia, USA, 1996. acm, New York (1996)

Das, G.; Kapoor, S.; Smid, M.: On the Complexity of Approximating Euclidean Traveling Salesman Tours and Minimum Spanning Trees. In: Foundations of software technology and theoretical computer science, S. 64 - 75 (Hg. Chandru, V.; Vinay, V.). 16th Conference on Foundations of Software Technology and Theoretical Computer Science , Hyderabad, India, 18. Dezember 1996 - 20. Dezember 1996. Springer, Berlin, Germany (1996)

Diks, K.; Hagerup, T.: More General Parallel Tree Contraction: Register Allocation and Broadcasting in a Tree. In: Graph-theoretic Concepts in Computer Science, S. 126 - 140 (Hg. d'Amore, F.; Franciosa, P. G.; Marchetti-Spaccamela, A.). 22nd International Workshop on Graph-theoretic Concepts in Computer Science , Cadenabbia, Italy, 12. Juni 1996 - 14. Juni 1996. Springer, Berlin, Germany (1996)

Dobkin, D. P.; Gunopulos, D.: Geometric problems in machine learning. In: Applied Computational Geometry: Towards Geometric Engineering (FCRC96 Workshop, WACG96), S. 121 - 132 (Hg. Lin, M. C.; Manocha, D.). Untitled Event, Philadelphia, USA, 27. Mai 1996 - 28. Mai 1996. Springer, Berlin, Germany (1996)

Fabri, A.; Giezeman, G.-J.; Kettner, L.; Schirra, S.; Schönherr, S.: The CGAL Kernel: A Basis for Geometric Computation. In: Applied Computational Geometry: Towards Geometric Engineering, S. 191 - 202 (Hg. Lin, M. C.; Manocha, D.; Lin, M. C.). FCRC'96 Workshop, WACG'96 , Philadelphia, PA, 27. Mai 1996 - 28. Mai 1996. Springer, Berlin (1996)

Ganzinger, H.: Saturation-based Theorem Proving (Abstract). In: Automata Languages and Programming, S. 1 - 3 (Hg. Meyer auf der Heide, F.; Monien, B.). 23rd International Colloquium on Automata Languages and Programming, Paderborn, Germany, 08. Juli 1996 - 12. Juli 1996. Springer, Berlin, Germany (1996)

Ganzinger, H.: Saturation-based Theorem Proving: Past Successes and Future Potential. In: Automated Deduction - Cade-13, S. 1 - 1 (Hg. McRobbie, M. A.; Slaney, J. K.). 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, 30. Juli 1996 - 03. August 1996. Springer, Berlin (1996)

Ganzinger, H.; Waldmann, U.: Theorem Proving in Cancellative Abelian Monoids (Extended Abstract). In: Automated Deduction - CADE-13, S. 388 - 402 (Hg. McRobbie, M. A.; Slaney, J. K.). 13th International Conference on Automated Deduction, New Brunswick, USA, 30. Juli 1996 - 03. August 1996. Springer, Berlin, Germany (1996)

Garg, N.: A 3-approximation for the Minimum Tree Spanning with k-vertices. In: Proceedings of the 37th Annual IEEE Symposium on Foundations of Computer Science, S. 302 - 309. 37th Annual IEEE Symposium on Foundations of Computer Science, Burlington, VT, USA, 14. Oktober 1996 - 16. Oktober 1996. IEEE explore, Piscataway, NJ (1996)

Garg, N.; Papatriantafilou, M.; Tsigas, P.: Distributed List Coloring: How to Dynamically Allocate Frequencies to Mobile Base Stations. In: 8th Annual IEEE Symposium on Parallel and Distributed Processing (SPDP '96), S. 18 - 25. Untitled Event, New Orleans, 23. Oktober 1996 - 26. Oktober 1996. IEEE, Los Alamitos (1996)

Gasieniec, L.; Karpinski, M.; Plandowski, W.; Rytter, W.: Efficient Algorithms for Lempel-Ziv Encoding. In: Algorithm Theory - SWAT '96, S. 392 - 403 (Hg. Karlsson, R.; Lingas, A.). 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, 03. Juli 1996 - 05. Juli 1996. Springer, Berlin (1996)