Schmidt, R. A.: Terminological Logics and Conceptual Graphs: An Historical Perspective. In: KI-94 Workshops, pp. 135 - 136 (Eds. Kunze, J.; Stoyan, H.). 18. Deutsche Jahrestagung für Künstliche Intelligenz : Workshop 6, Vergleich zwischen Termonologischen Repräsentationsformalismen und konzeptuellen Graphen - insbesondere in der Medizin, Saarbrücken, Germany, September 18, 1994 - September 23, 1994. Gesellschaft für Informatik, Bonn, Germany (1994)

Schmidt, R. A.: Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract. In: Relational Methods in Computer Science, p. 21‒22 (Eds. Brink, C.; Schmidt, G.). IBFI, Schloß Wadern (1994)

Seidel, H.-P.: Simplex Splines, Polar Simplex Splines and Triangular B-Splines. In: Proceedings of the 6th IMA Conference on the Mathematics of Surfaces, pp. 535 - 547 (Ed. Mullineux, G.). 6th IMA Conference on the Mathematics of Surfaces, Brunel University, UK, 1994-09. Clarendon Press, New York, NY (1994)

Sibeyn, J.: Deterministic Routing and Sorting on Rings. In: Proceedings of the 8th International Parallel Processing Symposium, pp. 406 - 410 (Ed. Siegel, H. J.). 8th International Parallel Processing Symposium, Cancún, Mexico, April 26, 1994 - April 29, 1994. IEEE, Los Alamitos, CA, USA (1994)

Sibeyn, J.: Desnakification of Mesh Sorting Algorithms. In: Algorithms - ESA '94, pp. 377 - 390 (Ed. van Leeuwen, J.). Second Annual European Symposium on Algorithms, Utrecht, The Netherlands, September 26, 1994 - September 28, 1994. Springer, Berlin (1994)

Sibeyn, J.; Chlebus, B. S.; Kaufmann, M.: Shorter Queues for Permutation Routing on Meshes. In: Mathematical Foundations of Computer Science 1994, pp. 597 - 607 (Eds. Prívara, I.; Rovan, B.; Ruzicka, P.). 19th International Symposium on Mathematical Foundations of Computer Science, Kosice, Slovakia, August 22, 1994 - August 26, 1994. Springer, Berlin (1994)

Sibeyn, J.; Harris, T.: Exploiting Locality in LT-RAM Computations. In: Algorithms Theory - SWAT' 94, pp. 338 - 349 (Ed. Schmidt, E. M.). 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 06, 1994 - July 08, 1994. Springer, Berlin, Germany (1994)

Sibeyn, J.; Kaufmann, M.: Deterministic 1 -k Routing on Meshes with Applications to Worm-hole Routing. In: STACS 94, pp. 237 - 248 (Eds. Enjalbert, P.; Mayr, E. W.; Wagner, K. W.). 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24, 1994 - February 26, 1994. Springer, Berlin, Germany (1994)

Socher-Ambrosius, R.: A Refined Version of General E-Unification. In: Automated Deduction - CADE-12, pp. 665 - 677 (Ed. Bundy, A.). 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994 - July 01, 1994. Springer, Berlin, Germany (1994)

Stuber, J.: Computing Stable Models by Program Transformation. In: Logic Programming, pp. 58 - 73 (Ed. Van Hentenryck, P.). 11th International Conference on Logic Programming, Santa Margherita Ligure, Italy, 1994. MIT Press, Cambridge, USA (1994)

Weidenbach, C.: First-Order Tableaux with Sorts. In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pp. 247 - 261 (Eds. Broda; Krysia; D'Agostino; Marcello; al., e.). Untitled Event, Marseille, France, 1994. Imperial College of Science Technology and Medicine, TR-94/5 (1994)

Weidenbach, C.: Sorts, Resolution, Tableaux and Propositional Logic. In: KI-94 Workshops: Extended Abstracts, pp. 315 - 316 (Eds. Kunze, J.; Stoyan, H.). Untitled Event, Saarbrücken, Germany, 1994. Gesellschaft für Informatik, Bonn, Germany (1994)

Werner, A.; Bockmayr, A.; Krischer, S.: How to realize LSE narrowing. In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), pp. 59 - 76 (Eds. Levi, G.; Rodríguez-Artalejo, M.). Untitled Event, Madrid, Spain, 1994. Springer, Berlin, Germany (1994)

Weydert, E.: General Belief Measures. In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, pp. 575 - 582. Untitled Event, University of Washington, Seattle, WA, 1994. Morgan Kaufmann, San Mateo, CA (1994)

Weydert, E.: Hyperrational Conditionals. In: Foundations of Knowledge Representation and Reasoning, pp. 310 - 332 (Eds. Lakemeyer, G.; Nebel, B.). Springer, Berlin, Germany (1994)

Yoshida, T.; Bundy, A.; Green, I.; Walsh, T.; Basin, D. A.: Coloured Rippling: An Extension of a Theorem Proving Heuristic. In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), pp. 85 - 89 (Ed. Cohn, T.). Untitled Event, Amsterdam, Netherlands, 1994. Wiley, ? (1994)

Bachmair, L.; Ganzinger, H.; Waldmann, U.: Set Constraints are the Monadic Class. In: Eighth Annual IEEE Symposium on Logic in Computer Science, pp. 75 - 83. Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19, 1993 - June 23, 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, pp. 83 - 96 (Eds. 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, pp. 261 - 270. Fifth Annual ACM Symposium on Parallel Algorithms and Architectures , Velen, Germany, June 30, 1993 - July 02, 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, pp. 228 - 237. 34th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, USA, November 03, 1993 - November 05, 1993. IEEE explore, Piscataway, NJ (1993)