Pages that link to "Item:Q6486039"

The following pages link to Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (Q6486039):

Displaying 2 items.

• Equational formulae with membership constraints (Q1333268) (← links)
• Building correct-by-construction systems with formal patterns (Q6562511) (← links)