Browse College of Engineering by Subject "order-sorted rewriting, congruence closure, satisfiability"

  • Meseguer, José (2015-06-04)
    Order-sorted type systems supporting inheritance hierarchies and subtype polymorphism are used in theorem proving, AI, and declarative programming. The satisfiability problems for the theories of: (i) order-sorted ...

    application/pdf

    application/pdfPDF (424kB)