User contributions for Yonoteam
Results for Yonoteam talk block log uploads logs global block log global account filter log
A user with 5 edits. Account created on 2 January 2012.
13 March 2024
- 14:0114:01, 13 March 2024 diff hist +237 m Operational semantics Added reference to a claim comparing big-step vs small-step semantics
- 12:4612:46, 13 March 2024 diff hist +19 m Operational semantics →Natural semantics
15 June 2023
- 10:3210:32, 15 June 2023 diff hist +15 m Backpropagation Completed missing factor in recursion
18 February 2019
- 16:2716:27, 18 February 2019 diff hist −644 m Isabelle (proof assistant) In →Applications: removed paragraph starting with "The use of Isabelle by Hewlett-Packard in the design of the HP 9000 line of servers' Runway bus" because information is wrong. The tools used according to the paper were HOL and SMV, not Isabelle.
26 August 2012
- 18:3518:35, 26 August 2012 diff hist +54 Paul Erdős No edit summary
