| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Penny Anderson, Frank Pfenning: Verifying Uniqueness in a Logical Framework. TPHOLs 2004: 18-33 |
Selection of 1 from 6 records - Penny Anderson has 6 coauthors
Copyright © 2009-11-23 by Michael Ley (ley@uni-trier.de)