User contributions for 129.67.150.74
Jump to navigation
Jump to search
15 July 2013
- 15:5915:59, 15 July 2013 diff hist +5,306 N Infinite tree automaton →Acceptance condition: typo: Buchi -> Büchi current