Timeline for Combinator logic and unification
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 19, 2019 at 5:13 | vote | accept | rwallace | ||
| Sep 15, 2011 at 3:43 | answer | added | YKY | timeline score: 2 | |
| Dec 5, 2010 at 15:01 | comment | added | Lucas K. | What do you mean with 'best' method? Since these are undecidable problems, there is no 'best' method in general. | |
| Oct 10, 2010 at 15:58 | history | asked | rwallace | CC BY-SA 2.5 |