Pages that link to "Item:Q362269"

The following pages link to Qingping Tan (Q362269):

Displaying 4 items.

• Formal proof of integer adders using all-prefix-sums operation (Q362271) (← links)
• Formal proof of prefix adders (Q611751) (← links)
• A higher-order unification algorithm for inductive types and dependent types (Q1362142) (← links)
• A new approach to development of composite Web Services (Q5291147) (← links)