scientific article

zbMATH Open0699.03014MaRDI QIDQ3476794

B. A. Trakhtenbrot

Publication date: 1987

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

zbMATH Keywords

observational equivalencelogical relationsinvariance with respect to locationsschematological abstractness

Mathematics Subject Classification ID

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

Related Items (2)

On the relationship between TMS and logic programs ⋮ 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 Q3476794)