Results for:
"
Julian+Green
" in Documents
- Observational Mu-Calculus 1998
- games for model-checking the observational mu calculus Whether it is possible to calculate a winning strategy { that is, to solve a modelchecking problem { depends on the domain of interpretation and ...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 15-05-09
- Stamp vignette on medical science. Percy Lavon Julian--industrial chem...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 1996-12-1
- Observational Mu-Calculus 1998
- games for model-checking the observational mu calculus Whether it is possible to calculate a winning strategy { that is, to solve a modelchecking problem { depends on the domain of interpretation and ...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Some Reflections about Virtual Organisations 1999
- One problem that arises with virtual organisations is to keep coherence. Electronic communication should not only be available but also be moderated. This is shown for email as well as for Internet-ba...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Some Reflections about Virtual Organisations 1999
- One problem that arises with virtual organisations is to keep coherence. Electronic communication should not only be available but also be moderated. This is shown for email as well as for Internet-ba...
-
Rating:
Views: (1021)
Pages: ()
Uploaded: 15-05-09
- Desmond Gareth Julian: pioneer in coronary care.
-
Rating:
Views: ()
Pages: ()
Uploaded: 2001-10-12
- Psychopathology of the Caesars: psychopathological study of the Julia...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1959-1-1
- Modal Logics and Mu-Calculi An Introduction 2001 28 citations ? 0 self...
- We briey survey the background and history of modal and temporal logics. We then concentrate on the modal mu-calculus, a modal logic which subsumes most other commonly used logics. We provide an infor...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 15-05-09