Skip to content

Normalizing Narrowing for Weakly Terminating and Confluent Systems.

Andreas Werner

VenueACP
Year1995
ProceedingsCP

Browse the full CP paper archive.