Contributions de Gtheyssi
Aller à la navigation
Aller à la recherche
27 mars 2009
- 12:5827 mars 2009 à 12:58 diff hist +316 N Fds project Aucun résumé des modifications actuelle
22 décembre 2008
- 10:1422 décembre 2008 à 10:14 diff hist −37 Lambda counting Aucun résumé des modifications
- 10:1222 décembre 2008 à 10:12 diff hist +578 Lambda counting Aucun résumé des modifications
19 décembre 2008
- 08:3219 décembre 2008 à 08:32 diff hist +111 Lambda counting →conclusion
10 décembre 2008
- 13:2810 décembre 2008 à 13:28 diff hist −20 Lambda counting →Introduction
- 13:2310 décembre 2008 à 13:23 diff hist +20 Lambda counting →Introduction
- 13:2310 décembre 2008 à 13:23 diff hist +4 N Fichier:Test.png Test actuelle
2 décembre 2008
- 21:042 décembre 2008 à 21:04 diff hist +29 Discussion:Lambda counting →Current semaphore actuelle
- 21:032 décembre 2008 à 21:03 diff hist +147 Lambda counting →Head lambdas bind "many" occurrences of the corresponding variables
- 20:442 décembre 2008 à 20:44 diff hist +342 Lambda counting Aucun résumé des modifications
- 19:462 décembre 2008 à 19:46 diff hist −4 Lambda counting →upper and lower bounds for number of lambdas in a term of size n
- 19:442 décembre 2008 à 19:44 diff hist −34 Lambda counting →Lambdas in head position and number of lambdas in one path
- 19:432 décembre 2008 à 19:43 diff hist −57 Lambda counting →Jakub's trik : at least 1 lambda in head position
- 09:492 décembre 2008 à 09:49 diff hist −9 m Lambda counting →Lambdas in head position and number of lambdas in one path
- 09:372 décembre 2008 à 09:37 diff hist +16 Lambda counting →Lambdas in head position and number of lambdas in one path
1 décembre 2008
- 16:371 décembre 2008 à 16:37 diff hist +1 154 Lambda counting →Lambdas in head position and number of lambdas in one path
- 15:591 décembre 2008 à 15:59 diff hist +121 m Lambda counting →at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
- 15:431 décembre 2008 à 15:43 diff hist +607 m Lambda counting →at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
- 15:241 décembre 2008 à 15:24 diff hist +547 m Lambda counting →at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
- 14:591 décembre 2008 à 14:59 diff hist +900 m Lambda counting →at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
- 14:181 décembre 2008 à 14:18 diff hist +774 m Lambda counting →at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
- 12:441 décembre 2008 à 12:44 diff hist +27 Lambda counting →upper and lower bounds for number of lambdas in a term of size n
- 12:391 décembre 2008 à 12:39 diff hist +217 Lambda counting →upper and lower bounds for number of lambdas in a term of size n
- 10:451 décembre 2008 à 10:45 diff hist +1 Lambda counting Sections ordering
- 10:431 décembre 2008 à 10:43 diff hist −143 Discussion:Lambda counting →Reservation of future semaphore
- 10:421 décembre 2008 à 10:42 diff hist +61 Discussion:Lambda counting →Current semaphore
28 novembre 2008
- 12:4928 novembre 2008 à 12:49 diff hist +277 Lambda counting →Random lambda terms are strongly normalizable
- 10:5928 novembre 2008 à 10:59 diff hist +693 Lambda counting →Random lambda terms are strongly normalizable
12 novembre 2008
- 17:2712 novembre 2008 à 17:27 diff hist +155 Lambda counting →Known results for Turing machines and cellular automata
- 17:2012 novembre 2008 à 17:20 diff hist +143 Discussion:Lambda counting →Reservation of future semaphore
- 17:1912 novembre 2008 à 17:19 diff hist −58 m Discussion:Lambda counting →Current semaphore
24 octobre 2008
- 09:2524 octobre 2008 à 09:25 diff hist −142 m MUST news no longer new