Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel

Journal title: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)

Journal publisher: Schloss Dagstuhl

Published year: 2017