![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 7 | Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray: Fast Subsumption Checks Using Anti-Links. J. Autom. Reasoning 18(1): 47-83 (1997) | |
| 3 | Bernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray: On Anti-Links. LPAR 1994: 275-289 |
Selection of 2 from 7 records - Anavai Ramesh has 5 coauthors
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)