scientific article
From MaRDI portal
Publication:3323248
zbMath0537.68020MaRDI QIDQ3323248
V. N. Domrachev, Yu. V. Kapitonova, L. G. Samoĭlenko
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
