Pages that link to "Item:Q1978640"

The following pages link to Specification and proof in membership equational logic (Q1978640):

Displaying 2 items.

• Interpreting Abstract Interpretations in Membership Equational Logic (Q2841246) (← links)
• Coding Mobile Synchronizing Petri Nets into Rewriting Logic (Q2864520) (← links)