Pages that link to "Item:Q1313738"

The following pages link to Models for the substitution axiom of UNITY logic (Q1313738):

Displaying 1 item.

• Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272) (← links)