Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Aanderaa, Stål Olav, A New Undecidable Problem With Application in Logic (1966)
Aanderaa, Stål Olav, A Proof of Higman's Embedding Theorem Using Briton Extensions of Groups (1973)
Aanderaa, Stål Olav, Inductive Definitions and Their Closure of Ordinals (1973)
Aanderaa, Stål Olav, On the Decision Problem for Formulas in which All Disjunctions Are Binary (1973)
Aanderaa, Stål Olav ; Börger, Egon, An Elementary Proof for the Trachtenbrot Theorem
Aanderaa, Stål Olav ; Börger, Egon, The Horn complexity of Boolean functions and Cook's problem
Aanderaa, Stål Olav ; Börger, Egon, The Equivalence of Horn and Network Complexity for Boolean Functions (1981)
Aanderaa, Stål Olav ; Börger, Egon ; Gurevich, Yuri, Prefix Classes of Krom Formulae with Identity (1979)
Aanderaa, Stål Olav; Börger, Egon; Lewis, Harry R., Conservative Reduction Classes of Krom Formulas (1980)
Aanderaa, Stål Olav; Lewis, H.R., Prefix Classes of Krom Formulas (1973)