scientific article; zbMATH DE number 4170880

zbMATH Open0712.03022MaRDI QIDQ3496321FDOQ3496321

Andrei S. Morozov

Publication date: 1990

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

zbMATH Keywords

algebraic specificationenumerable model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Computable structure theory, computable model theory (03C57)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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