scientific article; zbMATH DE number 3872663
From MaRDI portal
Publication:3339273
Cited in
(5)- A linear time solution to the single function coarsest partition problem
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
- Integration of expert systems and database management systems. - An extended disjunctive normal form approach
- A formal development of an efficient supercombination compiler
- Experience with the Super Monaco optimizing compiler
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 Q3339273)
