Nested Multisets

MaRDI QIDQ40624swMATHFDO

Official website https://www.isa-afp.org/entries/Nested_Multisets_Ordinals.html

Cited in

(11)

• scientific article; zbMATH DE number 7204430 (Why is no real title available?)
• HOCL
• Deriving class
• Knuth Bendix Orders
• Markov Models
• Logtk
• Lambda Free RPOs
• Saturation_Framework
• Foundational (co)datatypes and (co)recursion for higher-order logic
• Formalizing Bachmair and Ganzinger's ordered resolution prover
• Robinson arithmetic

This page was built for software: Nested Multisets