Nested Multisets

swMATH28910MaRDI QIDQ40624FDOQ40624

Author name not available (Why is that?)

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

Cited In (11)

• Title not available (Why is that?)
• Robinson arithmetic
• 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

This page was built for software: Nested Multisets