scientific article; zbMATH DE number 7763256

DOI10.33048/mattrudy.2022.25.106zbMath1527.68118MaRDI QIDQ6086228

Unnamed Author

Publication date: 9 November 2023

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

artificial intelligenceprogramming languagesChomsky grammarssemantic programmingblockchainpolynomial computabilitysmart contractsGandy's theoremgenerating grammarsGNF-systemsPAG-theoremBackus-Naur formsBNF-systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• On the complexity of formulas in semantic programming
• Conditional terms in semantic programming
• Recursive terms in semantic programming
• The expressiveness of looping terms in the semantic programming
• Logical language of description of polynomial computing
• Σ-programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: