Pages that link to "Item:Q3038590"

The following pages link to (Q3038590):

Displaying 8 items.

• Manifest domains: analysis and description (Q520235) (← links)
• A logic covering undefinedness in program proofs (Q790610) (← links)
• A guided tour of the mathematics of MetaSoft '88 (Q1111360) (← links)
• A proof rule for while loop in VDM (Q1262115) (← links)
• Semantic essence of AsmL (Q2571205) (← links)
• ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING (Q3062792) (← links)
• A denotational semantics for the generalized ER model and a simple ER algebra (Q3807649) (← links)
• Functional sorts in data type specifications (Q5055916) (← links)