11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings

6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings

Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23–27, 1993 Proceedings

Knowledge-Based Reasoning with Two Kinds of Negation

A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993. Proceedings

Fundamentals and Pragmatics

A Connectionist Model

Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994. Proceedings

5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings