scientific article; zbMATH DE number 7594176

MaRDI QIDQ5869611

Osman Hasan, Waqar Ahmad, Sofiène Tahar, Yassmeen Elderhalli

Publication date: 28 September 2022

Full work available at URL: https://arxiv.org/abs/1807.11576

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Uses Software

• HOL
• Storm