scientific article; zbMATH DE number 2079042

zbMATH Open1044.68669MaRDI QIDQ4474855FDOQ4474855

Authors: Frank Piessens, Eric Steegmans 

Publication date: 21 July 2004

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

Recommendations

• scientific article; zbMATH DE number 918294
• Detecting equivalence of modular specifications with categorical diagrams
• A decision procedure for semantical equivalence of thin FM specifications
• Entity-relationship-attribute designs and sketches
• scientific article; zbMATH DE number 1522144

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

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