Myra Van Inwegen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

2 Myra Van Inwegen, Elsa L. Gunter: HOL-ML. HUG 1993: 61-74

1992

1 Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715

	1993
2		Myra Van Inwegen, Elsa L. Gunter: HOL-ML. HUG 1993: 61-74
	1992
1		Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715

Coauthor Index