HNT

swMATH22614MaRDI QIDQ34405FDOQ34405

Author name not available (Why is that?)

Cited In (2)

• Matching and alpha-equivalence check for nominal terms
• Binders unbound

This page was built for software: HNT