Stål O. Aanderaa

Publication Activity (10 Years)

Years Active: 1980-1981
Publications (10 Years): 0

Publications

Stål O. Aanderaa, Egon Börger
The Equivalence of Horn and Network Complexity for Boolean Functions. Acta Informatica 15 (1981)
Stål O. Aanderaa, Egon Börger, Yuri Gurevich
Prefix classes of krom formulae with identity. Arch. Math. Log. 22 (1-2) (1980)