Antoy, S.; Echahed, R.; Hanus, M.: A Needed Narrowing Strategy. In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), S. 268 - 279. Untitled Event, Portland, USA, 1994. ACM, New York, USA (1994)

Arikati, S.; Maheshwari, A.: Realizing Degree Sequences in Parallel. In: Algorithms and Computation, S. 261 - 269 (Hg. Du, D.-Z.; Zhang, X.-S.). 5th International Symposium on Algorithms and Computation, Beijing, China, 25. August 1994 - 27. August 1994. Springer, Berlin (1994)

Arikati, S.; Maheshwari, A.: An O(n) Algorithm for Realizing Degree Sequences. In: Foundations of Software Technology and Theoretical Computer Science, S. 125 - 136 (Hg. Thiagarajan, P. S.). 14th Conference of the Foundations of Software Technology and Theoretical Computer Science, Madras, India, 15. Dezember 1994 - 17. Dezember 1994. Springer, Berlin (1994)

Arikati, S.; Maheshwari, A.; Zaroliagis, C.: Saving Bits Made Easy. In: Proceedings of the 6th Canadian Conference on Computational Geometry, S. 140 - 146. 6th Canadian Conference on Computational Geometry, Saskatoon, Canada, 02. August 1994 - 06. August 1994. (1994)

Arya, S.; Mount, D. M.; Netanyahu, N. S.; Silverman, R.: An Optimal Algorithm for Approximate Nearest Neighbor Searching. In: Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 573 - 582. Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, 23. Januar 1994 - 25. Januar 1994. ACM / SIAM, New York, USA (1994)

Arya, S.; Mount, D. M.; Smid, M.: Randomized and Deterministic Algorithms for Geometric Spanners of Small Diameter. In: Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science, S. 703 - 712. 35th Annual IEEE Symposium on Foundations of Computer Science, Santa Fe, NM, USA, 20. November 1994 - 22. November 1994. IEEE, New York, NY, USA (1994)

Arya, S.; Smid, M.: Efficient Construction of a Bounded Degree Spanner with Low Weight. In: Algorithms - ESA '94, S. 48 - 59 (Hg. van Leeuwen, J.). Second Annual European Symposium on Algorithms, Utrecht, The Netherlands, 26. September 1994 - 28. September 1994. Springer, Berlin (1994)

Bachmair, L.; Ganzinger, H.: Buchberger's algorithm: a constraint-based completion procedure. In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), S. 285 - 301 (Hg. Jouannaud, J.-P.). Untitled Event, Munich, Germany, 1994. Springer, Berlin, Germany (1994)

Bachmair, L.; Ganzinger, H.: Ordered Chaining for Total Orderings. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), S. 435 - 450 (Hg. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)

Bachmair, L.; Ganzinger, H.: Rewrite Techniques for Transitive Relations. In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, S. 384 - 393. Untitled Event, Paris, France, 08. Juli 2003 - 12. Juli 2003. IEEE, Los Alamitos, USA (1994)

Barth, P.: Simplifying Clausal Satisfiability Problems. In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), S. 19 - 33 (Hg. Jouannaud, J.-P.). Untitled Event, Munich, Germany, 1994. Springer, Berlin, Germany (1994)

Basin, D. A.: Logic Frameworks for Logic Programs. In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), S. 1 - 16 (Hg. Fribourg, L.; Turini, F.). Untitled Event, Pisa, Italy, 1994. Springer, Berlin, Germany (1994)

Basin, D.: IsaWhelk: Whelk Interpreted in Isabelle. In: Logic Programming, S. 741 (Hg. Van Hentenryck, P.). 11th International Conference on Logic Programming, Santa Margherita Ligure, Italy, 1994. MIT Press, Cambridge, USA (1994)

Basin, D. A.; Walsh, T.: Termination Orderings for Rippling. In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), S. 466 - 483 (Hg. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)

Bockmayr, A.: Solving Pseudo-Boolean Constraints. In: Constraint Programming: Basics and Trends, S. 22 - 38 (Hg. Podelski, A.). 1994 Chatillon Spring School, Chatillon-sur-Seine, France, 16. Mai 1994 - 20. Mai 1994. Springer, Berlin, Germany (1994)

Bockmayr, A.: Cutting planes in constraint logic programming (Abstract). In: Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics. Untitled Event, Ft. Lauderdale, Florida, 1994. Florida Atlantic University, Boca Raton (1994)

Bockmayr, A.: Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract). In: Operations Research '93, 18th Symposium on Operations Research, S. 47 - 49 (Hg. Bachem; A.; al.). Untitled Event, Köln, 1994. Physica-Verlag, Heidelberg, Germany (1994)

Bockmayr, A.; Werner, A.: LSE Narrowing for Decreasing Conditional Term Rewrite Systems. In: Conditional Term Rewriting Systems, S. 51 - 70 (Hg. Dershowitz, N.; Lindenstrauss, N.). 4th International Workshop on Conditional Term Rewriting Systems, Jerusalem, Israel, 13. Juli 1994 - 15. Juli 1994. Springer, Berlin, Germany (1994)

Burnikel, C.; Mehlhorn, K.; Schirra, S.: How to Compute the Voronoi Diagram of Line Segments: Theoretical and Experimental Results. In: Algorithms (ESA-94): 2nd annual European symposium, S. 227 - 239. Untitled Event, Utrecht, The Netherlands, September 26-28, 1994, 26. September 1994. Springer, Berlin, Germany (1994)

Burnikel, C.; Mehlhorn, K.; Schirra, S.: On degeneracy in geometric computations. In: Discrete algorithms (SODA-94): 5th annual ACM-SIAM symposium, S. 16 - 23. Untitled Event, Arlington, USA, 23. Januar 1994. ACM / SIAM, New York, USA (1994)