UNICOM

swMATH28844MaRDI QIDQ40558FDOQ40558

Author name not available (Why is that?)

Official website: https://kluedo.ub.uni-kl.de/frontdoor/deliver/index/docId/332/file/seki_10.pdf

Cited In (2)

• EXPANDER
• A general framework to build contextual cover set induction provers

This page was built for software: UNICOM