Pages that link to "Item:Q1351804"

The following pages link to An algebraic characterization of observational equivalence (Q1351804):

Displaying 1 item.

• Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926) (← links)