Regular_Algebras

swMATH32237MaRDI QIDQ43948FDOQ43948

Author name not available (Why is that?)

Described by source

• On the fine-structure of regular algebra

Cited In (2)

• Semi-intelligible Isar proofs from machine-generated proofs
• Hammering towards QED

This page was built for software: Regular_Algebras