Domain Theory and the Logic of Observable Properties

Míreanna comhchosúla

• Domain Theory in Logical Form
  de réir: Abramsky, S
  Foilsithe / Cruthaithe: (1987)
• Domain Theory in Logical Form
  de réir: Abramsky, S
  Foilsithe / Cruthaithe: (1991)
• Observational Logic and Process Semantics (Abstract)
  de réir: Abramsky, S
  Foilsithe / Cruthaithe: (1989)
• Logic and categories as tools for building theories
  de réir: Abramsky, S
  Foilsithe / Cruthaithe: (2010)
• Quantales‚ Observational Logic and Process Semantics
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (1993)