scientific article; zbMATH DE number 3630180

zbMATH Open0405.68004MaRDI QIDQ4191561FDOQ4191561

Authors: Peter Pepper, H. Wössner, Friedrich L. Bauer, Helmut Partsch 

Publication date: 1978

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• La fonction d'Ackermann : un nouveau mode de dérécursivation

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