Pages that link to "Item:Q4884666"

The following pages link to Program derivation with verified transformations — a case study (Q4884666):

Displaying 2 items.

• Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
• Goals and benchmarks for automated map reasoning (Q5927984) (← links)