User contributions for 189.178.236.253
Results for 189.178.236.253 talk block log logs global block log filter log
7 August 2012
- 23:0623:06, 7 August 2012 diff hist +640 Talk:Modal μ-calculus No edit summary
- 21:4421:44, 7 August 2012 diff hist +1,757 Talk:Modal μ-calculus →I am new to mu-calculus, but I have a suggestion on notation that looks strange for me compairing with the usual notation in formal semantics: new section
- 21:0521:05, 7 August 2012 diff hist +1 Modal μ-calculus powerset ==> power set
- 20:1820:18, 7 August 2012 diff hist +17 General formal ontology →Space and time: corrected link to franz brentano, insetad of just brentano, which links to a disambiguation page
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |