User contributions for Hermel
Appearance
A user with 2,051 edits. Account created on 28 June 2006.
15 April 2024
- 20:2720:27, 15 April 2024 diff hist +163 Conference on Implementation and Application of Automata →External links: add external link listing CIAA current
- 20:2220:22, 15 April 2024 diff hist +221 Conference on Implementation and Application of Automata →References: add most recent report
27 April 2023
- 05:3505:35, 27 April 2023 diff hist −3 Electronic Notes in Theoretical Computer Science Infobox current Tags: Mobile edit Mobile web edit Advanced mobile edit
- 05:3305:33, 27 April 2023 diff hist 0 Bombus semenoviellus →Taxonomy: Typo Tags: Mobile edit Mobile web edit Advanced mobile edit
4 March 2023
- 15:0115:01, 4 March 2023 diff hist +4 Black slug →Control strategies: Wikilink Tags: Mobile edit Mobile web edit Advanced mobile edit
31 May 2022
- 05:4105:41, 31 May 2022 diff hist −1 Abc conjecture →Theoretical results: Fixed latex typo in parentheses Tags: Mobile edit Mobile web edit Advanced mobile edit
27 May 2022
- 06:3306:33, 27 May 2022 diff hist +2 Hilarigona obscurata Fixed German umlauts Tags: Mobile edit Mobile web edit Advanced mobile edit
2 December 2021
- 13:1613:16, 2 December 2021 diff hist −1 m Phaoniini fixed typo current Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
22 October 2021
- 11:1411:14, 22 October 2021 diff hist +3 m Tetrastichinae fixed typo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
18 August 2021
- 21:5721:57, 18 August 2021 diff hist 0 m Scenopinidae fixed typo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
6 October 2020
- 21:4421:44, 6 October 2020 diff hist 0 Mathematical physics →Relativistic: fixed typo Tags: Mobile edit Mobile web edit Advanced mobile edit
29 April 2020
- 14:1114:11, 29 April 2020 diff hist −1 Snake lemma fix broken link
28 February 2020
- 07:4107:41, 28 February 2020 diff hist +4 Peter van Emde Boas fix image redlink
- 07:2707:27, 28 February 2020 diff hist +1,718 Peter van Emde Boas added infobox and image (redlinked because I just uploaded the image to commons, may take a while until it is available after review)
13 February 2020
- 20:3620:36, 13 February 2020 diff hist −39 Józef H. Przytycki populate infobox
- 20:3020:30, 13 February 2020 diff hist +1,678 Józef H. Przytycki added infobox and image
3 February 2020
- 20:1920:19, 3 February 2020 diff hist +2 Janusz Brzozowski add year of death
6 January 2020
- 18:1818:18, 6 January 2020 diff hist −13 Deterministic acyclic finite state automaton Inserted citation Tags: Mobile edit Mobile web edit Advanced mobile edit
5 January 2020
- 23:2423:24, 5 January 2020 diff hist +93 Trie →Sorting: Improved citation Tags: Mobile edit Mobile web edit Advanced mobile edit
- 23:2023:20, 5 January 2020 diff hist +6 Trie →Sorting Tags: Mobile edit Mobile web edit Advanced mobile edit
28 December 2019
- 22:2122:21, 28 December 2019 diff hist +250 Wikipedia talk:WikiProject Computer science →Proof of space hierarchy theorem: new section Tags: Mobile edit Mobile web edit Advanced mobile edit
- 22:1722:17, 28 December 2019 diff hist +434 Talk:Space hierarchy theorem →Flaw in proof?: new section Tags: Mobile edit Mobile web edit Advanced mobile edit
12 December 2019
- 22:0522:05, 12 December 2019 diff hist +243 Talk:Forbidden graph characterization →Discussion at math overflow: new section
30 November 2019
- 20:4520:45, 30 November 2019 diff hist +1 m Hubble's law No edit summary Tags: Visual edit Mobile edit Mobile web edit
29 March 2019
- 22:2622:26, 29 March 2019 diff hist −3 TypeScript Release 3.4.1 Tags: Mobile edit Mobile web edit
3 February 2019
- 23:1523:15, 3 February 2019 diff hist +607 Talk:Circular coloring →See also => Rank coloring: new section Tags: Mobile edit Mobile web edit
13 January 2019
- 23:0623:06, 13 January 2019 diff hist −50 Regulated rewriting →References: improved formatting and citation
22 October 2018
- 21:0421:04, 22 October 2018 diff hist +123 Talk:Chomsky–Schützenberger enumeration theorem →N
- 21:0321:03, 22 October 2018 diff hist +175 Talk:Chomsky–Schützenberger enumeration theorem →N
- 21:0121:01, 22 October 2018 diff hist +68 Chomsky–Schützenberger enumeration theorem →Statement: definition of <math>\mathbb{N}</math>
21 May 2018
- 20:5120:51, 21 May 2018 diff hist +167 N Talk:Leftist grammar ←Created page with '{{WikiProjectBannerShell|1= {{WikiProject Computer science |class=stub |importance=low}} {{maths rating|frequentlyviewed=|importance=low|field=discrete|class=stu...'
- 20:4920:49, 21 May 2018 diff hist +1,168 N Leftist grammar Initial version
15 April 2018
- 20:3720:37, 15 April 2018 diff hist +1,218 Talk:String operations Right Quotient
17 September 2017
- 20:2420:24, 17 September 2017 diff hist +1 Information and Computation clarify publisher site vs official site
14 September 2017
- 21:1321:13, 14 September 2017 diff hist +143 Talk:Unambiguous finite automaton →Vague ?: re
- 21:1221:12, 14 September 2017 diff hist −27 m Unambiguous finite automaton removed vague tag
11 February 2017
- 21:1721:17, 11 February 2017 diff hist +4 Büchi automaton →Transforming from other models of description to non-deterministic Büchi automata: grammar
17 August 2016
- 11:0611:06, 17 August 2016 diff hist 0 m Solidity →History: fix typo
15 May 2016
- 20:4220:42, 15 May 2016 diff hist +8 SL (complexity) Undid revision 716376836 by 134.61.180.139 (talk) undo good faith edit: It was proved in 2008 that L=SL, but this sentence tells us about the results proved in 1982
13 October 2015
- 21:0421:04, 13 October 2015 diff hist +20 m Signed graph →References: corrected outdated citation url
15 August 2015
- 18:5918:59, 15 August 2015 diff hist +1 m MacMahon's master theorem →Background: typo fixed
17 May 2015
- 18:4218:42, 17 May 2015 diff hist +2 Talk:Deterministic context-free language →Recognition: formatting
- 18:4118:41, 17 May 2015 diff hist +78 Talk:Deterministic context-free language →Recognition: add sig
16 May 2015
- 21:3821:38, 16 May 2015 diff hist +934 Talk:Deterministic context-free language →Recognition: re
25 April 2015
- 19:3219:32, 25 April 2015 diff hist −15 Journal of Automata, Languages and Combinatorics Undid revision 658858045 by 117.220.83.37 (talk) rvv (if the previous editor finds that this article is promotion or spam, please use the talk page of the article)
25 March 2015
- 21:3921:39, 25 March 2015 diff hist +283 Talk:List of unsolved problems in mathematics remove templates for resolved issues {{inadequate lead|date=December 2014}} {{lacking overview|date=December 2014}}
- 21:3721:37, 25 March 2015 diff hist −79 List of unsolved problems in mathematics remove templates for resolved issues {{inadequate lead|date=December 2014}} {{lacking overview|date=December 2014}}
- 21:3421:34, 25 March 2015 diff hist +183 List of unsolved problems in mathematics →Problems solved since 1975: provide non-primary source for solution of Hirsch conjecture
23 March 2015
- 21:3621:36, 23 March 2015 diff hist +102 Context-sensitive language →Properties of context-sensitive languages: corrected closure properties: as per the exercise, they are closed under Kleene plus, not Kleene star; and this opration is unary
12 March 2015
- 23:0823:08, 12 March 2015 diff hist +4 Recursive language →Examples: shorter sentence