A Basis for a Multi-Level Meta-Logic Programming Language

  • Authors:

  • Jonas Barklund;Katrin Boberg;Pierangelo Dell'Acqua

  • Affiliations:

  • -;-;-

  • Venue:
  • LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
  • Year:
  • 1994

  • Meta-reasoning: A Survey

    Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II

Quantified Score

Hi-index 0.01

Visualization

Abstract