Stephan A. Missura

According to our database, Stephan A. Missura authored at least 3 papers between 1993 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1994

Using Commutativity Properties for Controlling Coercions.

Stephan A. Missura, Andreas Weber

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

Theories = Signatures + Propositions Used as Types.

Stephan A. Missura

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

Extending AlgBench with a Type System.

Stephan A. Missura

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993