Tractable Reasoning in a Fragment of Separation Logic.

Slični predmeti

• Tractable reasoning in a fragment of separation logic
  od: Cook, B, i dr.
  Izdano: (2011)
• Tractable Reasoning with Bayesian Description Logics
  od: d'Amato, C, i dr.
  Izdano: (2008)
• Tractable reasoning with bayesian description logics
  od: D'Amato, C, i dr.
  Izdano: (2008)
• Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
  od: Motik, B
  Izdano: (2012)
• Consequence-based and fixed-parameter tractable reasoning in description logics
  od: Simancik, F, i dr.
  Izdano: (2014)