University of Illinois Urbana-Champaign

Termination of Just/Fair Computations in Term Rewriting

Lucas, Salvador; Meseguer, José

Content Files
Termination of Just-Fair Computations in Term Rewriting.pdf
Loading…

Permalink

Description

Owning Collections