User contributions
- 17:09, 8 February 2013 diff hist +134 m Term-Algebra current
- 17:31, 7 February 2013 diff hist +1,280 Signature (Computer Science) →The Category of Signatures current
- 20:10, 5 February 2013 diff hist +4,635 N Term-generated Sigma-algebra Created page with "{{MSC|68P05}} {{TEX|done}} The ground term-algebra $T(\Sigma)$ is the most important example of a $\Sigma$-algebra ..."
- 17:42, 4 February 2013 diff hist -4 m Signature (Computer Science) Some spaces eliminated
- 14:51, 3 February 2013 diff hist +1 m Term-Algebra
- 14:50, 3 February 2013 diff hist 0 m Term-Algebra
- 14:48, 3 February 2013 diff hist +2,599 N Term-Algebra Created page with "{{MSC|68P05}} {{TEX|done}} The formal description of a computer program consists of two components. First, a signature $\Sigma=(S,F)$ d..."
- 14:01, 2 February 2013 diff hist -1 m Sigma-algebra (Computer Science) →Category of $\Sigma$-Algebras
- 14:00, 2 February 2013 diff hist +141 m Sigma-algebra (Computer Science) →$\Sigma$-Subalgebras
- 13:36, 2 February 2013 diff hist -12 m Sigma-algebra (Computer Science)
- 13:26, 2 February 2013 diff hist -5,647 User:Joachim Draeger/sandbox
- 11:47, 1 February 2013 diff hist +6,595 N Sigma-algebra (Computer Science) Created page with " {{MSC|68P05}} {{TEX|done}} $\Sigma$-Algebras are the semantical counterpart to the signatures, which are pure syntactical ..."
- 11:15, 1 February 2013 diff hist -2 User:Joachim Draeger/sandbox
- 11:14, 1 February 2013 diff hist -1,930 User:Joachim Draeger/sandbox
- 17:41, 29 January 2013 diff hist +16 m Formula MSC supplemented
- 17:30, 29 January 2013 diff hist +23 m Formula Link added
- 16:14, 28 January 2013 diff hist +104 m Formula Some links added
- 16:09, 28 January 2013 diff hist -22 m Term (Formalized Language) current
- 16:03, 28 January 2013 diff hist +8,080 Formula
- 15:55, 28 January 2013 diff hist +8,456 User:Joachim Draeger/sandbox
- 16:22, 20 January 2013 diff hist +1,019 m Term (Formalized Language) →Definition of Terms
- 16:14, 20 January 2013 diff hist +61 m Term (Formalized Language) →Identifying and Manipulating Free Variables
- 13:32, 20 January 2013 diff hist +199 m Term (Formalized Language)
- 11:24, 20 January 2013 diff hist +27 m Signature (Computer Science) →Signatures with Special Properties
- 11:02, 20 January 2013 diff hist +208 m Term (Formalized Language) →Ground Terms and Morphisms
- 10:22, 20 January 2013 diff hist +136 m Term (Formalized Language) →Ground Terms and Morphisms
- 18:19, 18 January 2013 diff hist +107 m Term (Formalized Language) →Definition of Terms
- 18:18, 18 January 2013 diff hist 0 m Term (Formalized Language) →Ground Terms and Morphisms
- 16:32, 18 January 2013 diff hist +4 m Signature (Computer Science)
- 16:32, 18 January 2013 diff hist -3,560 User:Joachim Draeger/sandbox Blanked the page
- 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