Q3199405
type: Item
instance of: scholarly article
zbMATH Open document ID: 0714.03033
author: Yu. V. Golunkov
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4174908
zbMATH Keywords: program schemes
zbMATH Keywords: decidability
zbMATH Keywords: completeness
zbMATH Keywords: functional system of program type
zbMATH Keywords: algorithmic algebras
zbMATH Keywords: partial recursive functions
MaRDI profile type: Publication
Recommended article: On the edge-independence number and edge-covering number for regular graphs
Recommended article: Q4202961
Recommended article: Q3199404
Recommended article: Q3086771
Recommended article: Relative completeness for logics of functional programs
Recommended article: Completeness of type assignment systems with intersection, union, and type quantifiers
Recommended article: Completeness in hybrid type theory
Recommended article: Q4729320
Recommended article: Q3709890
description: scientific article