| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins: Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE 1994: 826-830 |
Selection of 1 from 10 records - Ina Kraan has 9 coauthors
Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)