Volume: Vol-4239 NMR 2026 | Year: 2026

Paper: « paper-Chakraborty-32 | paper-Farjami-14 | paper-Ferguson-29 »

Constrained Input/Output Logic in HOL: An Algebraic Embedding

• Ali Farjami
• Luca Pasetto

PDF