scientific article; zbMATH DE number 1042770
From MaRDI portal
Publication:4346366
zbMath0875.03044MaRDI QIDQ4346366
Publication date: 3 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Stratified resolution ⋮ A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). ⋮ The Blossom of Finite Semantic Trees ⋮ A classification of non-liftable orders for resolution ⋮ Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
This page was built for publication:
