| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 12 |       | Jo Coldwell, Graham Wrightson: Analytic Tableaux and Model Elimination. Australian Computer Journal 30(1): 1-11 (1998) |
| 7 | | Graham Wrightson, Jo Coldwell: A Truncation Technique for Clausal Analytic Tableaux. Inf. Process. Lett. 42(5): 271-281 (1992) |
Selection of 2 from 18 records - Graham Wrightson has 13 coauthors
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)