scientific article

zbMath0766.68093MaRDI QIDQ4028371

Didier Galmiche, O. Hermann

Publication date: 28 March 1993

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

zbMATH Keywords

intuitionistic logicprogramming with proofs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)