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, The Equivalence of Horn and Network Complexity for Boolean Functions (1981) |

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 ; 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) |