Upload log
Below is a list of the most recent file uploads. See the gallery of new files for a more visual overview.
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 17:29, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 16:57, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 16:04, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 17:40, 17 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 15:36, 11 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture7.pdf
- 15:34, 11 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Goal.zip
- 15:34, 11 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture7.pdf
- 17:23, 10 April 2021 Radu iosif (Talk | contribs) uploaded File:Lecture7.pdf
- 14:55, 10 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture6.pdf
- 20:24, 3 April 2021 Radu iosif (Talk | contribs) uploaded File:Lecture6.pdf
- 21:30, 31 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture5.pdf
- 15:18, 28 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 15:16, 28 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture5.pdf
- 18:50, 21 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture4.pdf
- 15:33, 21 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Goal.zip
- 22:39, 20 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture4.pdf
- 17:55, 20 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture4.pdf
- 17:03, 20 March 2021 Radu iosif (Talk | contribs) uploaded File:Ramseyan.pdf
- 22:00, 17 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 14:05, 17 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 14:01, 17 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 21:10, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:11, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:06, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:05, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 19:04, 14 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Goal.zip
- 18:19, 14 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:19, 14 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 19:53, 13 March 2021 Radu iosif (Talk | contribs) uploaded File:Goal.zip
- 19:52, 13 March 2021 Radu iosif (Talk | contribs) uploaded File:Mona.zip
- 18:18, 13 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture3.pdf
- 18:10, 10 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 14:19, 10 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 17:39, 9 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 19:24, 7 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 19:30, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 18:46, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 18:44, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 17:57, 6 March 2021 Radu iosif (Talk | contribs) uploaded File:Schutzenberger.pdf
- 17:54, 6 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture2.pdf
- 17:54, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture1.pdf
- 18:05, 3 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture1.pdf
- 19:15, 23 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:SeparationLogicEntailmentChecking.pdf
- 19:14, 23 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf
- 19:13, 23 January 2021 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 16:18, 22 January 2021 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 16:17, 22 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 16:16, 22 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 11:39, 29 December 2020 Radu iosif (Talk | contribs) uploaded File:Csl2021.pdf
- 16:22, 3 July 2020 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf