Regular_Algebras

swMATH32237MaRDI QIDQ43948FDOQ43948

Author name not available (Why is that?)

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

Described by source

• On the fine-structure of regular algebra

Cited In (4)

• Semi-intelligible Isar proofs from machine-generated proofs
• Network Security Policy Verification
• Sqrt_Babylonian
• Hammering towards QED

This page was built for software: Regular_Algebras