scientific article; zbMATH DE number 4174907

zbMATH Open0714.03032MaRDI QIDQ3199404FDOQ3199404

Authors: Yu. V. Golunkov 

Publication date: 1990

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

Recommendations

• scientific article; zbMATH DE number 4174908
• scientific article; zbMATH DE number 4134025
• scientific article; zbMATH DE number 3841851
• scientific article; zbMATH DE number 4083606
• Approximate completeness in algebras of partial recursive functions and predicates

zbMATH Keywords

completenessdecidabilitypartial recursive functionsprogram schemesalgorithmic algebrasfunctional system of program type

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited In (1)

• Title not available (Why is that?)

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