Pages that link to "Item:Q5170185"

The following pages link to Type Inference for Correspondence Types (Q5170185):

Displaying 1 item.

• Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)