Results 311 to 320 of about 6,450,793 (333)
Some of the next articles are maybe not open access.
Mathematical Structures in Computer Science, 1998
We develop temporal logic from the theory of complete lattices, Galois connections and fixed points. In particular, we prove that all seventeen axioms of Manna and Pnueli's sound and complete proof system for linear temporal logic can be derived from just two postulates, namely that ([oplus ], &[ominus ]tilde;) is a Galois connection and ...
openaire +2 more sources
We develop temporal logic from the theory of complete lattices, Galois connections and fixed points. In particular, we prove that all seventeen axioms of Manna and Pnueli's sound and complete proof system for linear temporal logic can be derived from just two postulates, namely that ([oplus ], &[ominus ]tilde;) is a Galois connection and ...
openaire +2 more sources
In their quest to represent founding deities from deep time or personified natural phenomena, Maya painters and sculptors created an intimate relationship between human time and divine time that endured for centuries. This chapter focuses on case studies in which Maya artists demonstrated exceptional brilliance in marking time, especially painters of ...
openaire +1 more source
openaire +1 more source
1990
The indications for, and results of the author's personal series of 486 resective operations in epileptic patients are reviewed, together with the long term results of 286 patients undergoing temporal lobectomy. Almost 50% of such patients were seizure free when followed for two to thirty years.
openaire +2 more sources
The indications for, and results of the author's personal series of 486 resective operations in epileptic patients are reviewed, together with the long term results of 286 patients undergoing temporal lobectomy. Almost 50% of such patients were seizure free when followed for two to thirty years.
openaire +2 more sources
[1992] Eighth International Conference on Data Engineering, 2003
Christian S. Jensen +1 more
openaire +1 more source
Christian S. Jensen +1 more
openaire +1 more source