scientific article; zbMATH DE number 910726

zbMath0855.94028MaRDI QIDQ4885884

Xudong Zhao, Masahiro Fujita, Edmund M. Clarke

Publication date: 17 February 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Walsh transformdata structurefunction representationmulti-terminal binary decision diagramsReed-Muller transform

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Symbolic model checking for probabilistic processes

This page was built for publication: