Contributions de Zaionc
Aller à la navigation
Aller à la recherche
11 décembre 2008
- 16:3711 décembre 2008 à 16:37 diff hist 0 Lambda counting →biblio
- 16:3711 décembre 2008 à 16:37 diff hist 0 Lambda counting →other systems
- 15:2811 décembre 2008 à 15:28 diff hist +109 Lambda counting →biblio
- 15:2611 décembre 2008 à 15:26 diff hist +117 Lambda counting →other systems
- 15:2411 décembre 2008 à 15:24 diff hist +119 Lambda counting →combinatorics
30 octobre 2008
- 09:5530 octobre 2008 à 09:55 diff hist −3 Lambda counting →combinatory logic
- 09:5230 octobre 2008 à 09:52 diff hist 0 Lambda counting →combinatory logic
- 09:5230 octobre 2008 à 09:52 diff hist 0 Lambda counting →combinatory logic
- 09:5130 octobre 2008 à 09:51 diff hist +119 Lambda counting →combinatory logic
29 octobre 2008
- 15:1429 octobre 2008 à 15:14 diff hist 0 Lambda counting →Known results for Turing machines and cellular automata
- 15:1329 octobre 2008 à 15:13 diff hist +58 Lambda counting →Known results for Turing machines and cellular automata
- 15:1129 octobre 2008 à 15:11 diff hist +108 Lambda counting →Known results for Turing machines and cellular automata