University of Illinois Urbana-Champaign

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

Gutiérrez, Raúl; Meseguer, José

Loading…

Permalink

Description

Owning Collections