scientific article

zbMATH Open0636.68013MaRDI QIDQ3776599

D. I. Sviridenko, Yuri L. Ershov, S. S. Goncharov

Publication date: 1986

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

zbMATH Keywords

semantic programming\(\Sigma \)-formulaecomputable predicates of finite typeslist extensions

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (7)

Programming language semantics: It’s easy as 1,2,3 ⋮ Semantic code browsing ⋮ Universal functions and almost \(c\)-simple models ⋮ Title not available (Why is that?) ⋮ Programming Denotational Semantics II ⋮ A class of almost \(c\)-simple rings ⋮ Executable semantic descriptions

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