Algebraic semantics (computer science): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 17:5417:54, 29 September 2023‎ Citation bot talk contribs‎ 10,194 bytes 0‎ Alter: title, chapter. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 596/898 undo

curprev 14:0414:04, 9 August 2023‎ Citation bot talk contribs‎ 10,196 bytes −54‎ Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Josve05a | #UCB_toolbar undo
curprev 14:0414:04, 9 August 2023‎ Josve05a talk contribs‎ 10,250 bytes +17‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 04:0404:04, 27 July 2022‎ Citation bot talk contribs‎ 10,256 bytes +81‎ Alter: pages. Add: isbn, volume, series. Formatted dashes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 16:2816:28, 6 March 2022‎ Laiwoonsiu talk contribs‎ 10,175 bytes +398‎ Added the correct citation. undo

curprev 14:3914:39, 27 January 2022‎ Citation bot talk contribs‎ 9,777 bytes +3‎ Alter: template type. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 20/368 undo

curprev 18:4318:43, 26 January 2022‎ KartikSinghal talk contribs‎ 9,774 bytes −172‎ →‎Canonical property: Incorrect reference; I don't see the Winskel book talking about algebraic specifications at all. undo Tag: Visual edit
curprev 16:2216:22, 26 January 2022‎ Citation bot talk contribs‎ 9,946 bytes +115‎ Alter: pages. Add: isbn, volume, series, s2cid. Formatted dashes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 134/2084 undo

curprev 15:4715:47, 9 January 2022‎ Laiwoonsiu talk contribs‎ 9,831 bytes +601‎ Added citations. undo

curprev 22:1722:17, 25 December 2021‎ Klbrain talk contribs‎ 9,230 bytes −9‎ Reinstating merge template (discussion ongoing and tag still up on the other page undo

curprev 15:4315:43, 8 December 2021‎ Laiwoonsiu talk contribs‎ 9,239 bytes +19‎ Improved the writing. undo

curprev 10:1810:18, 6 December 2021‎ Laiwoonsiu talk contribs‎ 9,220 bytes −2‎ Corrected typos in the references. undo
curprev 10:1310:13, 6 December 2021‎ Laiwoonsiu talk contribs‎ 9,222 bytes +770‎ Further explains the term "signature". Improved the references. Corrected other minor typos. undo
curprev 04:4104:41, 6 December 2021‎ Laiwoonsiu talk contribs‎ 8,452 bytes +7,403‎ Expanded the stub into a full article as recommended by administrators. undo

curprev 04:2204:22, 29 November 2021‎ Laiwoonsiu talk contribs‎ 1,049 bytes +22‎ Corrected the reference. undo

curprev 19:4619:46, 28 August 2021‎ AnomieBOT talk contribs‎ m 1,027 bytes +17‎ Dating maintenance tags: {{Mergeto}} undo
curprev 17:4617:46, 28 August 2021‎ 67.198.37.16 talk‎ 1,010 bytes +53‎ mergeto Algebraic semantics (mathematical logic) undo