scientific article; zbMATH DE number 6938205

zbMATH Open1441.68277MaRDI QIDQ5376325FDOQ5376325

Authors: Gela Chankvetadze, Lia Kurtanidze, Mikheil Rukhaia 

Publication date: 17 September 2018

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

Recommendations

• Automated constructivization of proofs
• scientific article; zbMATH DE number 1324433
• scientific article; zbMATH DE number 863013
• scientific article; zbMATH DE number 1765701
• scientific article; zbMATH DE number 2100042
• Automatic Proof Generation in Kleene Algebra
• scientific article; zbMATH DE number 3894495
• A formal proof generator from semi-formal proof documents
• Publication:4934147
• Automatic construction of Hoare proofs from abstract interpretation results.

zbMATH Keywords

sequent calculusproof-searchformula schemata

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proofs as schemas and their heuristic use

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