scientific article
From MaRDI portal
Publication:3199404
zbMath0714.03032MaRDI QIDQ3199404
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessdecidabilitypartial recursive functionsprogram schemesalgorithmic algebrasfunctional system of program type
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20)
This page was built for publication:
