Home
Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.
Collections
Categories
Systems
Conferences
People
Companies
Papers
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
Rev 1
Total History
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Static Analysis Techniques For Equational Logic Programming
Program-Transformation.Org: The Program Transformation Wiki
Static Analysis Techniques for Equational Logic Programming
RakeshVerma
http://arXiv.org/abs/cs/0010034
