dblp.uni-trier.dewww.uni-trier.de

Myra Van Inwegen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1993
2EEMyra Van Inwegen, Elsa L. Gunter: HOL-ML. HUG 1993: 61-74
1992
1EEJawahar 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

1Jawahar Chirimar [1]
2Carl A. Gunter [1]
3Elsa L. Gunter [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)