scientific article; zbMATH DE number 3655324

zbMATH Open0421.68017MaRDI QIDQ3854598FDOQ3854598

Authors: Andrei P. Ershov 

Publication date: 1978

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

zbMATH Keywords

mixed computationrecursive program schemata

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Essence of generalized partial computation
• Mixed computation: potential applications and problems for study

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