Wissenschaft.Online
Suche
Verlage und Institute
Akademie Verlag
Deutsches Institut für Urbanistik
Oldenbourg Wissenschaftsverlag
Walter de Gruyter
Schattauer
Sie sind hier: Home :: Bereich NIMMT :: Mathematik
 
A. A. Voronenko

The representability of a Boolean function by a repetition-free formula can be verified by a circuit of linear complexity

We prove that the representability of a Boolean function by a repetition-free formula can be verified by a circuit of linear complexity.

Discrete Mathematics and Applications, Walter de Gruyter

Print ISSN: 0924-9266
Volume: 15, 10/2005
Seiten: 507 - 511

Zum Artikel (extern)

Alle verfügbaren Artikel dieser Zeitschrift anzeigen