scientific article; zbMATH DE number 5026309

MaRDI QIDQ5467748zbMATH OpenFDO

Authors Oleksandr V. Lyalets'kyj, Oleksandr Z. Kalynovskyj

Publication date 24 May 2006

zbMATH Keywords

factorisationfirst-order logicresolutionstrategy

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(1)

• Partial Orders, Event Structures and Linear Strategies

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 Q5467748)