Pages that link to "Item:Q1082808"

The following pages link to While-programs with nondeterministic assignments and the logic ALNA (Q1082808):

Displaying 2 items.

• On the logic of UNITY (Q673960) (← links)
• A logic of recursion (Q1262303) (← links)