User contributions
- 16:31, 18 January 2013 diff hist +3,578 N Term (Formalized Language) Created page with " {{MSC|68P05}} {{TEX|done}} This entry discusses terms as syntactically correct expressions in a formalized language defined over a signature and ..."
- 16:29, 18 January 2013 diff hist +20 User:Joachim Draeger/sandbox →Ground Terms and Morphisms
- 16:22, 18 January 2013 diff hist +54 User:Joachim Draeger/sandbox →Identifying and Manipulating Free Variables
- 16:16, 18 January 2013 diff hist 0 User:Joachim Draeger/sandbox →Identifying and Manipulating Free Variables
- 16:11, 18 January 2013 diff hist -22 m Signature (Computer Science)
- 19:30, 16 January 2013 diff hist -1,159 User:Joachim Draeger/sandbox
- 19:22, 16 January 2013 diff hist +17 m Signature (Computer Science)
- 18:09, 15 January 2013 diff hist +506 N Signature (disambiguation) Created page with "Signature may refer to * Signature (authentication), in cryptography * Signature (Computer Science), in computer science * Signature (algebraic system)..."
- 18:06, 15 January 2013 diff hist +17 m Signature (Computer Science)
- 18:05, 15 January 2013 diff hist +4,326 N Signature (Computer Science) Created page with " {{MSC|68P05}} {{TEX|done}} If the behaviour of a computer program should be described formally --- this is necessary for e.g. the verification of programs --- two basic..."
- 17:53, 15 January 2013 diff hist +3,987 User:Joachim Draeger/sandbox
- 08:38, 12 January 2013 diff hist +17 User:Joachim Draeger/sandbox
- 08:35, 12 January 2013 diff hist -18,657 User:Joachim Draeger/sandbox
- 14:48, 18 November 2012 diff hist +15 m Sprouts
- 20:26, 14 November 2012 diff hist +19,374 N Sprouts Created page with "{{MSC|91A05}} {{TEX|done}} ==Rules== Sprouts is a 2-person paper-and-pencil game created by J.H.Conway and M.S.Paterson in 1967 {{Cite|G1}}. It starts with $n$ points on a..."
- 20:22, 14 November 2012 diff hist +59 User:Joachim Draeger/sandbox
- 20:16, 14 November 2012 diff hist +69 User:Joachim Draeger/sandbox
- 20:24, 12 November 2012 diff hist 0 File:Sprouts separation.png Joachim Draeger uploaded a new version of "File:Sprouts separation.png" current
- 20:22, 12 November 2012 diff hist 0 N File:Sprouts neighbour.png current
- 20:22, 12 November 2012 diff hist 0 N File:Sprouts multiedge.png current
- 20:21, 12 November 2012 diff hist 0 N File:Brussels sprouts 9.png current
- 20:21, 12 November 2012 diff hist 0 N File:Brussels sprouts 8.png current
- 20:20, 12 November 2012 diff hist 0 N File:Brussels sprouts 7.png current
- 20:20, 12 November 2012 diff hist 0 N File:Brussels sprouts 6.png current
- 20:20, 12 November 2012 diff hist 0 N File:Brussels sprouts 5.png current
- 20:19, 12 November 2012 diff hist 0 N File:Brussels sprouts 4.png current
- 20:19, 12 November 2012 diff hist 0 N File:Brussels sprouts 3.png current
- 20:18, 12 November 2012 diff hist 0 N File:Brussels sprouts 2.png current
- 20:18, 12 November 2012 diff hist 0 N File:Brussels sprouts 1.png current
- 20:17, 12 November 2012 diff hist 0 N File:Sprouts 8.png current
- 20:16, 12 November 2012 diff hist 0 N File:Sprouts 7.png current
- 20:16, 12 November 2012 diff hist 0 N File:Sprouts 6.png current
- 20:16, 12 November 2012 diff hist 0 N File:Sprouts 5.png current
- 20:15, 12 November 2012 diff hist 0 N File:Sprouts 4.png current
- 20:15, 12 November 2012 diff hist 0 N File:Sprouts 3.png current
- 20:14, 12 November 2012 diff hist 0 N File:Sprouts 2.png current
- 20:14, 12 November 2012 diff hist 0 N File:Sprouts 1.png current
- 20:13, 12 November 2012 diff hist 0 File:Sprouts separation.png Joachim Draeger uploaded a new version of "File:Sprouts separation.png"
- 20:05, 12 November 2012 diff hist 0 N File:Sprouts separation.png
- 20:00, 12 November 2012 diff hist -154 User:Joachim Draeger/sandbox
- 19:50, 12 November 2012 diff hist +15,471 User:Joachim Draeger/sandbox
- 18:15, 11 November 2012 diff hist +3,800 User:Joachim Draeger/sandbox
- 17:14, 11 November 2012 diff hist +5 User:Joachim Draeger/sandbox
- 17:11, 11 November 2012 diff hist -3,745 User:Joachim Draeger/sandbox Replaced content with "{{MSC|91A05}} {{TEX|done}}===References==={||-|}"
- 16:57, 11 November 2012 diff hist -4,834 User:Joachim Draeger/sandbox
- 16:55, 11 November 2012 diff hist -85 User:Joachim Draeger/sandbox
- 17:44, 25 September 2012 diff hist -36 m Abstract Systems Theory current
- 17:42, 12 September 2012 diff hist +8,712 N Abstract Systems Theory Created page with "{{MSC|93A10}} Category:Systems Theory {{TEX|done}} This article discusses systems in the context of general systems theory. For systems in the sense of logics, see [[F..."
- 17:39, 12 September 2012 diff hist +87 User:Joachim Draeger/sandbox
- 17:34, 12 September 2012 diff hist +8,625 N User:Joachim Draeger/sandbox test abstract systems theory