Pages that link to "Item:Q1816918"

The following pages link to Refinement of a typed WAM extension by polymorphic order-sorted types (Q1816918):

Displaying 3 items.

• Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
• Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
• Semantic splitting of conditional belief bases (Q2117582) (← links)