Searched: Rakesh *Verma[^A-Za-z]
Results from Transform web
LRR: A Laboratory for Rapid Term Rewriting by RakeshVerma CategorySystem Main.EelcoVisser 20 Nov 2001
Name of the workshop on Rule Based Programming (RULE) Associated with PPDP The goals of the workshop The rule-based programming paradigm is characterized by the repeated ...
Static Analysis Techniques for Equational Logic Programming RakeshVerma http://arXiv.org/abs/cs/0010034
Number of topics: 3