Browse by Author "Jose Meseguer"
Now showing items 1-3 of 3
Jose Meseguer (Elsevier, 2012-06-29)Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ...
Santiago Escobar; Ralf Sasse; Jose Meseguer (Elsevier, 2012)Automated reasoning modulo an equational theory $\caE$ is a fundamental technique in many applications. If $\caE$ can be split as a disjoint union $E\!\cup \!Ax$ in such a way that $E$ is confluent, terminating, ...
Jose Meseguer (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 ...