| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 8 |       | Gilles Dowek, Benjamin Werner: Arithmetic as a Theory Modulo. RTA 2005: 423-437 |
| 5 | | Gilles Dowek, Benjamin Werner: Proof Normalization Modulo. TYPES 1998: 62-77 |
Selection of 2 from 14 records - Benjamin Werner has 11 coauthors
Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)