Relating Z and First−order logic

Míreanna comhchosúla

• Relating Z and first-order logic
  de réir: Martin, A
  Foilsithe / Cruthaithe: (2000)
• Relating Z and first−order logic
  de réir: Martin, A
  Foilsithe / Cruthaithe: (1999)
• The succinctness of first-order logic on linear orders
  de réir: Martin Grohe, et al.
  Foilsithe / Cruthaithe: (2005-06-01)
• First-order logic /
  de réir: 323371 Smullyan, Raymond M.
  Foilsithe / Cruthaithe: (1968)
• From Separation Logic to First−Order Logic
  de réir: Calcagno, P, et al.
  Foilsithe / Cruthaithe: (2005)