libby: <Nabil> the nice thing is that you can use timing for virtually anything on the web
libby: <Nabil> the bad thing is that it is almost impossible to formally specify the semantics of the timing model
libby: requires IE 5.5 or above
libby: <Nabil> the bad thing is that it is almost impossible to formally specify the semantics of the timing model
libby: requires IE 5.5 or above
DanC_lap: this looks like the most relevant one: Mona: Monadic Second-Order Logic in Practice
bijan: Excellent article.
bijan: The manual is helpful.
bijan: Excellent article.
bijan: The manual is helpful.
bijan: Another worth perusing is Representing Reified Relations in Loom.