Nested Multisets

swMATH28910MaRDI QIDQ40624FDOQ40624

Author name not available (Why is that?)

Cited In (3)

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