RiuNet UPV Home
:
Browsing by Subject

Search RiuNet

Browse

All of RiuNet

My Account

Login

RiuNet Help

Admin. UPV

Browsing by Subject "Decidable validity and satisfiability in initial algebras"

Now showing items 1-1 of 1

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

Gutiérrez Gil, Raúl; Meseguer, José (Springer-Verlag, 2018)

[EN] Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure for ...

Now showing items 1-1 of 1