User contributions for Arthur MILCHIOR
Appearance
A user with 880 edits. Account created on 28 April 2009.
8 June 2010
- 08:0708:07, 8 June 2010 diff hist +104 m Wikipedia:Requests for feedback →Descriptive complexity: first and second order
- 08:0608:06, 8 June 2010 diff hist +642 Wikipedia:Requests for feedback →Descriptive complexity: first and second order: new section
7 June 2010
- 11:5611:56, 7 June 2010 diff hist +2 m Descriptive complexity theory wrong link
- 11:5511:55, 7 June 2010 diff hist +1 m Descriptive complexity theory No edit summary
- 11:5411:54, 7 June 2010 diff hist +140 Descriptive complexity theory No edit summary
- 11:5311:53, 7 June 2010 diff hist +57 SO (complexity) No edit summary
- 11:5011:50, 7 June 2010 diff hist +2 m SO (complexity) →Definition and examples
- 11:5011:50, 7 June 2010 diff hist +3,831 N SO (complexity) ←Created page with 'Second order logic is an extenstion of First-Order with a . In descriptive complexity we can see that it is equal to [[PH_(complexity)|polyn...'
- 11:2611:26, 7 June 2010 diff hist +118 FO (complexity) No edit summary
- 11:1711:17, 7 June 2010 diff hist +8,897 FO (complexity) No edit summary
6 June 2010
- 07:4307:43, 6 June 2010 diff hist +133 Deterministic pushdown automaton →Computation
- 07:4107:41, 6 June 2010 diff hist +187 Deterministic pushdown automaton →Formal Definition
- 07:3907:39, 6 June 2010 diff hist +22 Deterministic pushdown automaton →Formal Definition: replaced lambda by epsilon to use same notation than the nondeterministic page, and stated to go to see it to understand the computation process
- 07:3807:38, 6 June 2010 diff hist +159 Pushdown automaton →Formal Definition: explained what Gamma* means
- 07:3507:35, 6 June 2010 diff hist +202 N Talk:Deterministic pushdown automaton ←Created page with 'I changed lambda for epsilon as the letter for the empty string, to have the same notation than the "pudhdown automata" page, I also explained what means "\Gamma *"...'
- 07:3107:31, 6 June 2010 diff hist +86 Deterministic pushdown automaton →Formal Definition
- 07:0107:01, 6 June 2010 diff hist +97 N User talk:M!uqomzXb ←Created page with 'Hi I did answer to you on http://en.wikipedia.org/wiki/Talk:Finite-state_machine#Intro_rewrite .' current
- 07:0107:01, 6 June 2010 diff hist +1 m Talk:Finite-state machine →Intro rewrite
- 07:0007:00, 6 June 2010 diff hist +437 Talk:Finite-state machine →Intro rewrite
- 06:4606:46, 6 June 2010 diff hist −76 m Configuration graph No edit summary
- 06:4506:45, 6 June 2010 diff hist −22 m Configuration graph →Introduction
- 06:3806:38, 6 June 2010 diff hist +38 N User talk:Arthur MILCHIOR/Configuration graph moved User talk:Arthur MILCHIOR/Configuration graph to Talk:Configuration graph: It was a draft, it was proof-read by an editor and someone knowing the subject, so I'm confident it's good enough for beeing an article. current
- 06:3806:38, 6 June 2010 diff hist 0 m Talk:Configuration graph moved User talk:Arthur MILCHIOR/Configuration graph to Talk:Configuration graph: It was a draft, it was proof-read by an editor and someone knowing the subject, so I'm confident it's good enough for beeing an article.
- 06:3806:38, 6 June 2010 diff hist +33 N User:Arthur MILCHIOR/Configuration graph moved User:Arthur MILCHIOR/Configuration graph to Configuration graph: It was a draft, it was proof-read by an editor and someone knowing the subject, so I'm confident it's good enough for beeing an article. current
- 06:3806:38, 6 June 2010 diff hist 0 m Configuration graph moved User:Arthur MILCHIOR/Configuration graph to Configuration graph: It was a draft, it was proof-read by an editor and someone knowing the subject, so I'm confident it's good enough for beeing an article.
- 06:2806:28, 6 June 2010 diff hist +96 Configuration graph →References
- 06:2606:26, 6 June 2010 diff hist −6 m Configuration graph →Use of this object
- 03:2103:21, 6 June 2010 diff hist +4 Configuration graph →Introduction
5 June 2010
- 17:1017:10, 5 June 2010 diff hist 0 User:Arthur MILCHIOR No edit summary
- 17:0917:09, 5 June 2010 diff hist +363 N User:Arthur MILCHIOR ←Created page with 'Hello I'm a computer science student of Ecole Normale Supérieur of Paris. I'm now (summer 2010) in a computational complexity lab. I'm trying to take time to writ...'
- 13:4613:46, 5 June 2010 diff hist +669 Wikipedia:Requests for feedback →Configuration graphs (computer science-computatial complexity): new section
- 13:3713:37, 5 June 2010 diff hist +4 Configuration graph →References
- 13:3613:36, 5 June 2010 diff hist −64 Configuration graph →External links
- 13:3513:35, 5 June 2010 diff hist +228 Configuration graph →References
- 13:2913:29, 5 June 2010 diff hist +2,179 Configuration graph →Definition
- 12:5212:52, 5 June 2010 diff hist +817 Configuration graph No edit summary
- 12:2412:24, 5 June 2010 diff hist +629 N Configuration graph ←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul|<==do not change this line it will set the date automatic...'
1 June 2010
- 06:4206:42, 1 June 2010 diff hist +18 Linear logic →Encoding classical/intuitionistic logic in linear logic
- 06:4106:41, 1 June 2010 diff hist +14 Linear logic →Encoding classical/intuitionistic logic in linear logic
- 06:3806:38, 1 June 2010 diff hist +110 Linear logic →References
20 May 2010
19 May 2010
- 15:2615:26, 19 May 2010 diff hist +104 m User talk:RJFJR/Archive4 →What mean your message
- 15:2515:25, 19 May 2010 diff hist +131 User talk:RJFJR/Archive4 →What mean your message: new section
17 May 2010
- 23:3523:35, 17 May 2010 diff hist +408 Talk:L (complexity) No edit summary
- 23:3323:33, 17 May 2010 diff hist +587 L (complexity) I stated a few use of logspace outside of the theory world
- 03:2903:29, 17 May 2010 diff hist +12 m Ronald Fagin →Academic contributions
10 May 2010
- 03:5103:51, 10 May 2010 diff hist +13 Talk:Propositional calculus →Models
29 April 2010
- 21:4921:49, 29 April 2010 diff hist +214 Finite model theory No edit summary
28 April 2010
- 06:1006:10, 28 April 2010 diff hist +709 Linear logic No edit summary
7 January 2010
- 01:0901:09, 7 January 2010 diff hist −191 Talk:Hamiltonian path →Full degree