scientific article; zbMATH DE number 3936505

MaRDI QIDQ3707397zbMATH OpenFDO

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

Publication date 1985

zbMATH Keywords

algebraic specificationsASSPEGIQUEprogramming environmentsoftware engineering methodology

Mathematics Subject Classification ID

Theory of software (68N99)

Cited in

(3)

• Complexity analysis of term-rewriting systems
• scientific article; zbMATH DE number 4092743 (Why is no real title available?)
• 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)