« Lambda counting » : historique des versions

30 octobre 2008

• actudiff 09:5230 octobre 2008 à 09:52‎ Zaionc discussion contributions‎ 23 400 octets 0‎ →‎combinatory logic
• actudiff 09:5130 octobre 2008 à 09:51‎ Zaionc discussion contributions‎ 23 400 octets +119‎ →‎combinatory logic

29 octobre 2008

• actudiff 15:1429 octobre 2008 à 15:14‎ Zaionc discussion contributions‎ 23 281 octets 0‎ →‎Known results for Turing machines and cellular automata
• actudiff 15:1329 octobre 2008 à 15:13‎ Zaionc discussion contributions‎ 23 281 octets +58‎ →‎Known results for Turing machines and cellular automata
• actudiff 15:1129 octobre 2008 à 15:11‎ Zaionc discussion contributions‎ 23 223 octets +108‎ →‎Known results for Turing machines and cellular automata

28 octobre 2008

• actudiff 14:5628 octobre 2008 à 14:56‎ Jkozik discussion contributions‎ 23 115 octets +1 144‎ →‎upper and lower bounds for number of lambdas in a term of size n
• actudiff 14:1928 octobre 2008 à 14:19‎ Jkozik discussion contributions‎ 21 971 octets +755‎ →‎upper and lower bounds for number of lambdas in a term of size n

24 octobre 2008

• actudiff 21:4124 octobre 2008 à 21:41‎ Kasia discussion contributions‎ 21 216 octets −16‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
• actudiff 21:3924 octobre 2008 à 21:39‎ Kasia discussion contributions‎ 21 232 octets 0‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
• actudiff 21:3824 octobre 2008 à 21:38‎ Kasia discussion contributions‎ 21 232 octets +4‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
• actudiff 21:3824 octobre 2008 à 21:38‎ Kasia discussion contributions‎ 21 228 octets +20‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
• actudiff 21:3124 octobre 2008 à 21:31‎ Kasia discussion contributions‎ 21 208 octets +4‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
• actudiff 21:2624 octobre 2008 à 21:26‎ Kasia discussion contributions‎ 21 204 octets −56‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
• actudiff 21:2524 octobre 2008 à 21:25‎ Kasia discussion contributions‎ 21 260 octets −15‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
• actudiff 21:2424 octobre 2008 à 21:24‎ Kasia discussion contributions‎ 21 275 octets +3 241‎ →‎every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)

22 octobre 2008

• actudiff 09:0622 octobre 2008 à 09:06‎ René David discussion contributions‎ 18 034 octets 0‎ →‎combinatory logic
• actudiff 08:5222 octobre 2008 à 08:52‎ René David discussion contributions‎ 18 034 octets +125‎ →‎combinatory logic

21 octobre 2008

• actudiff 09:3421 octobre 2008 à 09:34‎ René David discussion contributions‎ 17 909 octets +78‎ →‎Introduction
• actudiff 09:2421 octobre 2008 à 09:24‎ René David discussion contributions‎ 17 831 octets +1‎ →‎Introduction
• actudiff 09:2221 octobre 2008 à 09:22‎ René David discussion contributions‎ 17 830 octets +1 948‎ →‎Introduction
• actudiff 08:2821 octobre 2008 à 08:28‎ René David discussion contributions‎ 15 882 octets +477‎ →‎Introduction
• actudiff 08:1721 octobre 2008 à 08:17‎ René David discussion contributions‎ 15 405 octets +64‎ →‎Introduction
• actudiff 08:1621 octobre 2008 à 08:16‎ René David discussion contributions‎ 15 341 octets +777‎ →‎Introduction
• actudiff 08:0021 octobre 2008 à 08:00‎ René David discussion contributions‎ 14 564 octets +1 570‎ →‎Introduction

20 octobre 2008

• actudiff 14:4320 octobre 2008 à 14:43‎ René David discussion contributions‎ 12 994 octets +120‎ →‎combinatory logic
• actudiff 14:3720 octobre 2008 à 14:37‎ René David discussion contributions‎ 12 874 octets +781‎ →‎combinatory logic
• actudiff 14:0920 octobre 2008 à 14:09‎ René David discussion contributions‎ 12 093 octets +32‎ →‎combinatory logic
• actudiff 14:0320 octobre 2008 à 14:03‎ René David discussion contributions‎ 12 061 octets +109‎ →‎Generality on lambda calculus
• actudiff 13:5820 octobre 2008 à 13:58‎ René David discussion contributions‎ 11 952 octets +640‎ →‎Generality on lambda calculus
• actudiff 13:4220 octobre 2008 à 13:42‎ René David discussion contributions‎ 11 312 octets +50‎ →‎Generality on lambda calculus
• actudiff 13:3620 octobre 2008 à 13:36‎ René David discussion contributions‎ 11 262 octets 0‎ →‎Generality on lambda calculus
• actudiff 13:3120 octobre 2008 à 13:31‎ René David discussion contributions‎ 11 262 octets +2‎ Aucun résumé des modifications
• actudiff 13:2520 octobre 2008 à 13:25‎ René David discussion contributions‎ 11 260 octets −21‎ →‎Generality on lambda calculus
• actudiff 13:2220 octobre 2008 à 13:22‎ Raffalli discussion contributions‎ 11 281 octets −11‎ →‎Generality on lambda calculus
• actudiff 13:1120 octobre 2008 à 13:11‎ René David discussion contributions‎ 11 292 octets 0‎ →‎Generality on lambda calculus
• actudiff 13:0920 octobre 2008 à 13:09‎ René David discussion contributions‎ 11 292 octets +101‎ →‎Generality on lambda calculus
• actudiff 13:0020 octobre 2008 à 13:00‎ René David discussion contributions‎ 11 191 octets +2 286‎ →‎Generality on lambda calculus
• actudiff 12:0620 octobre 2008 à 12:06‎ Raffalli discussion contributions‎ 8 905 octets +1‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 12:0220 octobre 2008 à 12:02‎ Raffalli discussion contributions‎ 8 904 octets +1‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 12:0120 octobre 2008 à 12:01‎ Raffalli discussion contributions‎ 8 903 octets +95‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:5420 octobre 2008 à 11:54‎ Raffalli discussion contributions‎ 8 808 octets +218‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:5020 octobre 2008 à 11:50‎ Raffalli discussion contributions‎ 8 590 octets +259‎ →‎Motzkin numbers
• actudiff 11:3920 octobre 2008 à 11:39‎ Raffalli discussion contributions‎ 8 331 octets +13‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:3820 octobre 2008 à 11:38‎ Raffalli discussion contributions‎ 8 318 octets +205‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:2820 octobre 2008 à 11:28‎ Raffalli discussion contributions‎ 8 113 octets +351‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:2320 octobre 2008 à 11:23‎ Raffalli discussion contributions‎ 7 762 octets −1‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:2020 octobre 2008 à 11:20‎ Raffalli discussion contributions‎ 7 763 octets +2‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:1920 octobre 2008 à 11:19‎ Raffalli discussion contributions‎ 7 761 octets +18‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:1720 octobre 2008 à 11:17‎ Raffalli discussion contributions‎ 7 743 octets +22‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 11:1520 octobre 2008 à 11:15‎ Raffalli discussion contributions‎ 7 721 octets +56‎ →‎Upper and lower bounds for <math>L_n</math>