20 citations · 75 across the 15 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 1 cited
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
Jose Meseguer
An inductive inference system for proving validity of formulas in the initial algebra of an order-sorted equational theory is presented. It has 20 i…
cs.LO2024★ 12 cited
The Maude strategy language
Steven Eker, Narciso Martí-Oliet, José Meseguer +2
Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this fo…