scientific article; zbMATH DE number 1042770

zbMATH Open0875.03044MaRDI QIDQ4346366FDOQ4346366

Authors: Jean de Nivelle 

Publication date: 3 August 1997

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (5)

• A classification of non-liftable orders for resolution
• The blossom of finite semantic trees
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif
• Stratified resolution
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4346366)