- -

Request a copy of the document

RiuNet: Institutional repository of the Polithecnic University of Valencia

Request a copy of the document

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

Enter the following information to request a copy of the document from the responsible person

  2. This email address is used for sending the document.
  3. Files
  4. to prevent spam must ensure that this functionality is used by real people not bots or replicants