36 search results - page 8 / 8 » Teaching Formal Methods Based on Rewriting Logic and Maude |
126
Voted
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...