University of Illinois Urbana-Champaign

Order-Sorted Rewriting and Congruence Closure

Meseguer, José

Content Files
os-cong-clos.pdf
Loading…

Permalink

Description

Owning Collections