Towards proof planning for \(\mathcal{M}_{\omega}^+\)
From MaRDI portal
Publication:2844813
zbMATH Open1270.68263MaRDI QIDQ2844813
Serge Autexier, Carsten Schürmann
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805103
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus ⋮ Towards a formal proof system for \(\omega\)-rational expressions
Uses Software
This page was built for publication: Towards proof planning for \(\mathcal{M}_{\omega}^+\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844813)
