scientific article; zbMATH DE number 6938205
From MaRDI portal
Publication:5376325
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.
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cited In (9)
- Title not available (Why is that?)
- Reasoning on schemas of formulas: an automata-based approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Uniform schemata for proof rules
- Title not available (Why is that?)
- Psyche: a proof-search engine based on sequent calculus with an LCF-style architecture
- Higher-order proof construction based on first-order narrowing
- 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)
