Variant-Based Decidable Satisfiability in Initial Algebras with Predicates Ra´ ul Guti´errez1 1 DSIC, 2 University

First Page		Document Content
Date: 2017-10-23 05:15:29		Variant-Based Decidable Satisfiability in Initial Algebras with Predicates Ra´ ul Guti´errez1 1 DSIC, 2 University Add to Reading List Source URL: www.sci.unich.it Download Document from Source Website File Size: 392,88 KB Share Document on Facebook