The following pages link to When are Two Algorithms the Same? (Q3633205):
Displaying 8 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Processes are in the eye of the beholder (Q1391748) (← links)
- Equivalence is in the eye of the beholder (Q1391750) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011 (Q2893284) (← links)
- Towards a Definition of an Algorithm (Q3006116) (← links)
- Galois Theory of Algorithms (Q3299851) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
- When Are Two Gossips the Same? (Q5222944) (← links)
