Stephan A. Missura

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

3 Stephan A. Missura, Andreas Weber: Using Commutativity Properties for Controlling Coercions. AISMC 1994: 131-143

2 Stephan A. Missura: Theories = Signatures + Propositions Used as Types. AISMC 1994: 144-155

1993

1 Stephan A. Missura: Extending AlgBench with a Type System. DISCO 1993: 359-363

1994
3		Stephan A. Missura, Andreas Weber: Using Commutativity Properties for Controlling Coercions. AISMC 1994: 131-143
2		Stephan A. Missura: Theories = Signatures + Propositions Used as Types. AISMC 1994: 144-155
1993
1		Stephan A. Missura: Extending AlgBench with a Type System. DISCO 1993: 359-363

Coauthor Index

1 Andreas Weber [3]