Matthews, S.; Smaill, A.; Basin, D.: Experience with FS_0 as a Framework Theory. In: Logical Environments, S. 61 - 82 (Hg. Huet, G.; Plotkin, G.). Cambridge University Press, Cambridge, UK (1993)

Ohlbach, H. J.; Eisinger, N.: Deduction Systems Based on Resolution. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Bd. 1, S. 183 - 271 (Hg. Gabbay, D. M.; Hogger, C. J.; Robinson, J. A.). Oxford University Press, New York, NY (1993)

Bachmair, L.; Ganzinger, H.; Waldmann, U.: Set Constraints are the Monadic Class. In: Eighth Annual IEEE Symposium on Logic in Computer Science, S. 75 - 83. Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, 19. Juni 1993 - 23. Juni 1993. IEEE, Los Alamitos, USA (1993)

Bachmair, L.; Ganzinger, H.; Waldmann, U.: Superposition with simplification as a decision procedure for the monadic class with equality. In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, S. 83 - 96 (Hg. Gottlob, G.; Leitsch, A.; Mundici, D.). Third Kurt Gödel Colloquium, Brno, Czech Republic, 1993. Springer, Berlin, Germany (1993)

Barnes, G.: A Method for Implementing Lock-free Shared Data Structures. In: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures, S. 261 - 270. Fifth Annual ACM Symposium on Parallel Algorithms and Architectures , Velen, Germany, 30. Juni 1993 - 02. Juli 1993. ACM, New York, NY (1993)

Barnes, G.; Edmonds, J. A.: Time-space Lower Bounds for Directed s-t Connectivity on JAG Models. In: 34th Annual Symposium on Foundations of Computer Science, S. 228 - 237. 34th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, USA, 03. November 1993 - 05. November 1993. IEEE explore, Piscataway, NJ (1993)

Barnes, G.; Feige, U.: Short Random Walks on Graphs. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on the Theory of Computing, S. 728 - 737 (Hg. Kosaraju, S. R.; Johnson, D. S.; Aggarwal, A.). Twenty-fifth Annual ACM Symposium on the Theory of Computing , San Diego, CA, USA, 16. Mai 1993 - 18. Mai 1993. ACM, New York, NY (1993)

Barth, P.: Linear 0-1 Inequalities and Extended Clauses. In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, S. 40 - 51 (Hg. Voronkov, A.). Untitled Event, St. Petersburg, Russia, 1993. Springer, Berlin, Germany (1993)

Barth, P.; Bockmayr, A.: Solving 0-1 Problems in CLP(PB). In: The Ninth Conference on Artificial Intelligence for Applications, S. 263 - 269. 9th Conference on Artificial Intelligence for Applications, Orlando, FL, United States, 01. März 1993 - 05. März 1993. IEEE, Los Alamitos, USA (1993)

Basin, D.; Constable, R. L.: Metalogical Frameworks. In: Papers Presented at the Second Annual Workshop on Logical Environments, S. 1 - 29 (Hg. Huet, G.; Plotkin, G.). Second Annual Workshop on Logical Environments, Edinburgh, UK , 1993-12. Cambridge University Press, New York, NY (1993)

Basin, D.; Matthews, S.: A Conservative Extension of First-order Logic and its Applications to Theorem Proving. In: Foundations of Software Technology and Theoretical Computer Science, S. 151 - 160 (Hg. Shyamasundar, R. K.). 13th Conference on Foundations of Software Technology and Theoretical Computer Science Conference, Bombay, India, 15. Dezember 1993 - 17. Dezember 1993. Springer, Berlin, Germany (1993)

Basin, D.; Matthews, S.; Kraan, I.; Bundy, A.: A Framework for Program Development Based on Schematic Proof. In: 7th International Workshop on Software Specification and Design, S. 162 - 171. 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, 06. Dezember 1993 - 07. Dezember 1993. IEEE Computer Society Press, Washington, DC (1993)

Basin, D.; Walsh, T.: Difference Unification. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence ; Chambéry, France, August 28 - September 3, 1993, Bd. 1, S. 116 - 122 (Hg. Bajcsy, R.). Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, 28. August 1993 - 03. September 1993. Morgan Kaufmann, San Mateo, CA (1993)

Bockmayr, A.: Embedding OR Techniques in Constraint Logic Programming. In: Operations Research '92, S. 252 - 254 (Hg. Karmann, A.; Mosler, K.; Schader, M.; Uebe, G.). 17th Symposium on Operations Research, Hamburg, 25. August 1992 - 28. August 1992. Physica‐Verlag, Hamburg, Germany (1993)

Bockmayr, A.; Radermacher, F. J.: Künstliche Intelligenz und Operations Research. In: Grundlagen und Anwendungen der Künstlichen Intelligenz, S. 249 - 254 (Hg. Herzog, O.; Christaller, T.; Schütt, D.). 17. Fachtagung für Künstliche Intelligenz, Berlin, Germany, 13. September 1993 - 16. September 1993. Springer, Berlin (1993)

Chaudhuri, S.: Sensitive Functions and Approximate Problems. In: 34th Annual Symposium on Foundations of Computer Science, S. 186 - 193. 34th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, USA, 03. November 1993 - 05. November 1993. IEEE explore, Piscataway, NJ (1993)

Chaudhuri, S.: A Lower Bound for Linear Approximate Compaction. In: Proceedings of the 2nd Israel Symposium on Theory and Computing Systems, S. 25 - 32. 2nd Israel Symposium on Theory and Computing Systems, Natanya, Israel, 07. Juni 1993 - 09. Juni 1993. IEEE explore, Piscataway, NJ (1993)

Chaudhuri, S.; Hagerup, T.; Raman, R.: Approximate and Exact Deterministic Parallel Selection. In: Mathematical Foundations of Computer Science 1993, S. 352 - 361 (Hg. Borzyszkowski, A. M.; Sokołowski, S.). 18th International Symposium on Mathematical Foundations of Computer Science, Gdańsk, Poland, 30. August 1993 - 03. September 1993. Springer, New York, NY, USA (1993)

Datta, A.; Lenhof, H.-P.; Schwarz, C.; Smid, M.: Static and Dynamic Algorithms for k-point Clustering Problems. In: Algorithms and Data Structures, S. 265 - 276 (Hg. Dehne, F.; Sack, J.-R.; Santoro, N.; Whitesides, S.). Third Workshop on Algorithms and Data Structures, Montréal, Canada, 11. August 1993 - 13. August 1993. Springer, Berlin, Germany (1993)

Dietz, P.; Mehlhorn, K.; Raman, R.; Uhrig, C.: Lower Bounds for Set Intersection Queries. In: Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, S. 194 - 201. Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, TX, USA, 25. Januar 1993 - 27. Januar 1993. ACM / SIAM, New York, USA (1993)