Welcome to the home of Epic and ARM

Research into theoretical foundations of term rewriting implementations and the development of practical implementations and supportive tools.

Introduction to Epic and ARM
Index to papers:
Software
Our full bibliography

This site and software are no longer being actively maintained. Note that this software will be made available as open source software upon request. All enquiries can be sent to pum@babelfish.nl.