scientific article; zbMATH DE number 3635519
From MaRDI portal
Publication:4195967
zbMath0408.68064MaRDI QIDQ4195967
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Data structures (68P05) General topics in the theory of software (68N01)
Related Items
Mixed computation: potential applications and problems for study, Provably correct derivation of algorithms using FermaT, Semantics of algorithmic languages
