University of Illinois at Urbana-Champaign

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Loading…

Permalink

Description

Owning Collections