Nested multisets, hereditary multisets, & syntactic ordinals in Isabelle/HOL

Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'Nested multisets, hereditary multisets, & syntactic ordinals in Isabelle/HOL'. Together they form a unique fingerprint.

Engineering & Materials Science