CORE

🇺🇦   make metadata, not war

    2 research outputs found

    Logic programming : operational semantics and proof theory

    Author
    Publication venue
    The University of Edinburgh
    Publication date
    Field of study
    Get PDF
    Edinburgh Research Archive

    Esprit '87 achievements and impact. Proceedings of the 4th annual Esprit conference part 1. Brussels, 28-29 September 1987. EUR 11192 EN

    Author
      Publication venue
      Publication date
      Field of study
      Get PDF
      corecore