Pages that link to "Item:Q880169"

The following pages link to Can abstract state machines be useful in language theory? (Q880169):

Displaying 2 items.

• Proving properties of the Chord protocol using the ASM formalism (Q1757159) (← links)
• Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic (Q3586011) (← links)