Pages that link to "Item:Q3813851"

The following pages link to A system of logic for partial functions under existence-dependent kleene equality (Q3813851):

Displaying 2 items.

• Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
• Near-equational and equational systems of logic for partial functions. I (Q3032234) (← links)