Searching for authors named "Tim French" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Bisimulation quantified logics: undecidability
- …Bisimulation Quantified Logics: Undecidability Tim French The University of Western Australia tim…
- Cited by 1 (1 self) – Add To MetaCart
-
A Sound and Complete Proof System for QPTL
- …7 A Sound and Complete Proof System for QPTL Tim French and Mark Reynolds abstract. In this paper…
- Add To MetaCart
-
Exploring the synergies between the object-oriented paradigm and mathematics: a Java led approach
- … 3JU, United Kingdom Email: Marc.Conrad@(email omitted); TIM FRENCH Department of Computing…
- Cited by 4 (1 self) – Add To MetaCart
-
Can Intelligent Optimisation Techniques Improve Computing Job Scheduling In A Grid Environment? Review, Problem and Proposal
- …? Review, Problem and Proposal Wei Huang 1 , Tim French 1,2 , Carsten Maple 1 , Nik Bessis 1 1 Department…
- Add To MetaCart
-
Semiotics for E-commerce: Shared Meanings and Generative Futures
- …French, Tim; Polovina, Simon; Vile, Adam (1999) "Semiotics for E-commerce: Shared Meanings…
- Cited by 1 (1 self) – Add To MetaCart
-
Object Shadowing - a Key Concept for a
- …Object Shadowing - a Key Concept for a Modern Programming Language Marc Conrad 1 , Tim French 1…
- Add To MetaCart
-
Axioms for logics of knowledge and past time: Synchrony and unique initial states. appeared
- …Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States Tim French, Ron…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 7.
