Skip to content

Linear behaviour of term graph rewriting programs.

Richard Banach, George A. Papadopoulos

Year1995
ProceedingsSAC

Browse the full SAC paper archive.