Pages that link to "Item:Q406433"

The following pages link to Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433):

Displaying 4 items.

• Developments in concurrent Kleene algebra (Q299202) (← links)
• Building program construction and verification tools from algebraic principles (Q736461) (← links)
• Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
• Completeness for Identity-free Kleene Lattices (Q5009432) (← links)