Two-level realization of logical formulas for deductive program synthesis

DOI10.35634/VM240401MaRDI QIDQ6973202zbMATH OpenFDO

Authors Milad Joudakizadeh, Anatoly Petrivich Beltiukov

Publication date 11 June 2025

Published in Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki (Search for Journal in Brave)

zbMATH Keywords

artificial intelligencepredicate logicproofsalgorithm synthesisprogram synthesislogical formulascalculus of sequentsinterpretation of logical formulas

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

This page was built for publication: Two-level realization of logical formulas for deductive program synthesis

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