Skip to content
cs-conference-ranking.org

A Complex Example of a Simplifying Rewrite System.

Hlne Touzet

VenueA*ICALP
Year1998
ProceedingsICALP
DBLP recordconf/icalp/Touzet98 ↗

Browse the full ICALP paper archive.