scientific article; zbMATH DE number 3936505

zbMATH Open0584.68048MaRDI QIDQ3707397FDOQ3707397

Authors: Michel Bidoit, Christine Choppy, Frédéric Voisin 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 4092743
• scientific article; zbMATH DE number 8787
• scientific article; zbMATH DE number 1324646
• scientific article; zbMATH DE number 3936503
• scientific article; zbMATH DE number 3936493

zbMATH Keywords

algebraic specificationsprogramming environmentASSPEGIQUEsoftware engineering methodology

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (3)

• Complexity analysis of term-rewriting systems
• Title not available (Why is that?)
• Abstract rewriting with concrete operators

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