Meta-programming with theory systems

  • Authors:
  • Jonas Barklund;Katrin Boberg;Pierangelo Dell'Acqua;Margus Veanes

  • Affiliations:
  • -;-;-;-

  • Venue:
  • Meta-logics and logic programming
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract