Proof Assistants and Related Tools - The PART & PART 2 Projects 2015

Schlichtkrull, A. (Participant)

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Description

Formalization of Resolution Calculus in Isabelle

Talk "Formalization of Resolution Calculus in Isabelle" at PART
Period23 Sep 2015
Event typeWorkshop
LocationKgs. Lyngby, Denmark