scientific article; zbMATH DE number 1759447

zbMATH Open0996.68512MaRDI QIDQ4536397FDOQ4536397

Authors: Jaco van de Pol, Hans Zantema 

Publication date: 8 October 2002

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

Recommendations

• A rewriting approach to binary decision diagrams
• Publication:4934627
• Binary decision diagrams
• Binary decision diagrams
• BDDs -- design, analysis, complexity, and applications.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (7)

• Title not available (Why is that?)
• A characterization of binary decision diagrams
• Some notes on the abstraction operation for multi-terminal binary decision diagrams
• Principles for a judgement editor based on binary decision diagrams
• A rewriting approach to binary decision diagrams
• Chain reduction for binary and zero-suppressed decision diagrams
• Title not available (Why is that?)

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