scientific article; zbMATH DE number 7773074

DOI10.33048/MATTRUDY.2022.25.208MaRDI QIDQ6062761

Author name not available (Why is that?)

Publication date: 2 December 2023

Full work available at URL: http://mathnet.ru/eng/mt674

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

zbMATH Keywords

artificial intelligenceproof theoryproof verificationsemantic programmingpolynomial computabilitysmart contractsiterative termsgandy theoremGNF-systemsPAG-theorem

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

On the complexity of formulas in semantic programming

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