scientific article; zbMATH DE number 4145879

MaRDI QIDQ3476794zbMATH OpenFDO

Authors B. A. Trakhtenbrot

Publication date 1987

zbMATH Keywords

invariance with respect to locationslogical relationsobservational equivalenceschematological abstractness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1424059
• Prelogical relations
• Logical relations for monadic types
• scientific article; zbMATH DE number 1948186
• scientific article; zbMATH DE number 2090019

Cited in

(5)

• A family of syntactic logical relations for the semantics of Haskell-like languages
• On the relationship between TMS and logic programs
• Prelogical relations
• scientific article; zbMATH DE number 1670499 (Why is no real title available?)
• scientific article; zbMATH DE number 4193139 (Why is no real title available?)

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)