scientific article; zbMATH DE number 108366

MaRDI QIDQ4023826zbMATH OpenFDO

Authors A. V. Aho, Jeffrey D. Ullman

Publication date 23 January 1993

zbMATH Keywords

algebra of setsalgorithm designdata structuresdesign algebraspropositional logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Theory of programming languages (68N15) Data structures (68P05) Parallel algorithms in computer science (68W10)

Cited in

(28)

• Variable neighborhood search for the degree-constrained minimum spanning tree problem
• Scheduling double round-robin tournaments with divisional play using constraint programming
• Arranging fact table records in a data warehouse to improve query performance
• Importance sampling for partially observed temporal epidemic models
• Efficient algorithm for proper orthogonal decomposition of block-structured adaptively refined numerical simulations
• Recursion in computer science curriculum
• Electrotechnical foundations of computer science
• Foundations of higher computer science. Inductive approach
• Maintaining transitive closure in first order after node-set and edge-set deletions
• Coquet: a Coq library for verifying hardware
• scientific article; zbMATH DE number 434733 (Why is no real title available?)
• Loop invariants, exploration of regularities, and mathematical games
• scientific article; zbMATH DE number 41616 (Why is no real title available?)
• scientific article; zbMATH DE number 49828 (Why is no real title available?)
• scientific article; zbMATH DE number 53189 (Why is no real title available?)
• scientific article; zbMATH DE number 1214914 (Why is no real title available?)
• scientific article; zbMATH DE number 1278468 (Why is no real title available?)
• scientific article; zbMATH DE number 1307417 (Why is no real title available?)
• scientific article; zbMATH DE number 517330 (Why is no real title available?)
• scientific article; zbMATH DE number 568599 (Why is no real title available?)
• scientific article; zbMATH DE number 703699 (Why is no real title available?)
• scientific article; zbMATH DE number 2027971 (Why is no real title available?)
• scientific article; zbMATH DE number 194975 (Why is no real title available?)
• MULTIPLE PARAMETER CONTINUATION: COMPUTING IMPLICITLY DEFINED k-MANIFOLDS
• Distribution of distinguishable objects to bins: generating all distributions
• Identities and bases in the Sylvester and Baxter monoids
• Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings
• Robustness of regional matching scheme over global matching scheme

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