scientific article; zbMATH DE number 3831283

zbMATH Open0524.68017MaRDI QIDQ3036693FDOQ3036693

Irène Guessarian

Publication date: 1983

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

zbMATH Keywords

algebraic semanticsprogram schemesclasses of interpretationscomplete proof systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Equational classes, universal algebra in model theory (03C05) Abstract data types; algebraic specification (68Q65)

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