Buscar
Mostrando ítems 1-1 de 1
Order-Sorted Equality Enrichments Modulo Axioms
(Springer, 2012)
Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...