Check out my first novel, midnight's simulacra!
Computer science eponyms: Difference between revisions
From dankwiki
No edit summary |
(how was i missing the curry-howard correspondence?) |
||
| Line 79: | Line 79: | ||
* Chakravala's Algorithm | * Chakravala's Algorithm | ||
* Chan's Algorithm | * Chan's Algorithm | ||
* Chandy-Lamport Algorithm | |||
* the '''Chang-Roberts Algorithm''' elects leaders for distributed systems. | * the '''Chang-Roberts Algorithm''' elects leaders for distributed systems. | ||
* Cheney's Algorithm | * Cheney's Algorithm | ||
| Line 88: | Line 89: | ||
* Chomsky-Schützenberger theorem | * Chomsky-Schützenberger theorem | ||
* Christofides Algorithm | * Christofides Algorithm | ||
* Church encoding | |||
* Church-Rosser Theorem | * Church-Rosser Theorem | ||
* Church-Turing Thesis | * Church-Turing Thesis | ||
| Line 106: | Line 108: | ||
* (preconditioned) Crank–Nicolson Algorithm | * (preconditioned) Crank–Nicolson Algorithm | ||
* Crusader’s Convergence Algorithm | * Crusader’s Convergence Algorithm | ||
* Curry-Howard correspondence | |||
* Dadda Multiplier | * Dadda Multiplier | ||
