A data structure formalization through generating function

DOI10.1007/BF02575637MaRDI QIDQ1844073zbMATH OpenOpenAlexWikidataFDO

Authors Mariangiola Dezani-Ciancaglini, Corrado Böhm

Publication date 1974

Published in Calcolo (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02575637

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) General topics in the theory of software (68N01)

Cites work

• Combinatory Programming and Combinatorial Analysis
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3351178 (Why is no real title available?)
• scientific article; zbMATH DE number 3420623 (Why is no real title available?)
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Semantics of context-free languages

Cited in

(1)

• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication: A data structure formalization through generating function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1844073)