scientific article
From MaRDI portal
Publication:3730008
zbMath0596.68032MaRDI QIDQ3730008
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic propositional calculusPRIZ systemsemantics of a specification languageSM-4 and Besm-6 computers
Related Items
The programming system PRIZ ⋮ Type-theoretical semantics of some declarative languages ⋮ Toward knowledge-based specifications of languages ⋮ Computational and attribute models of formal languages ⋮ The programming system PRIZ ⋮ Higher order dataflow schemas
