Domain Theory and the Logic of Observable Properties
1. Verfasser: | Abramsky, S |
---|---|
Format: | Abschlussarbeit |
Veröffentlicht: |
University of London
1987
|
Ähnliche Einträge
-
Domain Theory in Logical Form
von: Abramsky, S
Veröffentlicht: (1987) -
Domain Theory in Logical Form
von: Abramsky, S
Veröffentlicht: (1991) -
Observational Logic and Process Semantics (Abstract)
von: Abramsky, S
Veröffentlicht: (1989) -
Logic and categories as tools for building theories
von: Abramsky, S
Veröffentlicht: (2010) -
Quantales‚ Observational Logic and Process Semantics
von: Abramsky, S, et al.
Veröffentlicht: (1993)