scientific article

zbMath0970.68146MaRDI QIDQ2703760

Ian J. Hayes, Jamie Shield, D. A. Carrington

Publication date: 8 May 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem power

Mathematics Subject Classification ID

Related Items (1)

Probabilistic guarded commands mechanized in HOL

Uses Software

• Qu-Prolog
• Ergo 6

This page was built for publication: