Login / Signup

A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi.

Flávio L. C. de MouraA. V. BarbosaMauricio Ayala-RincónFairouz Kamareddine
Published in: LSFA (2010)
Keyphrases
  • computational properties
  • expressive power
  • reasoning problems
  • logic programs
  • description logics
  • semantic properties
  • high dimensional