From Wikipedia, the free encyclopedia
I am Philippe Schnoebelen, b. 1961, French citizen, currently living in Paris.
Some pages on my TODO list:
- Arity
- Linear set
- Computational tree logic, aka CTL.
This is a Wikipedia user page.
This is not an encyclopedia article. If you find this page on any site other than Wikipedia, you are viewing a mirror site. Be aware that the page may be outdated and that the user to whom this page belongs may have no personal affiliation with any site other than Wikipedia itself. The original page is located at http://en.wikipedia.org/wiki/User:PhS.
|