Anavai Ramesh (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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