Correctness of the Vanilla meta-interpreter and ambivalent syntax

  • Authors:

  • Marianne Kalsbeek

  • Affiliations:

  • -

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

  • Meta-reasoning: A Survey

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

Quantified Score

Hi-index 0.00

Visualization

Abstract