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

Weese, M., Undecidable Extensions of the Theory of Boolean Algebras |

Weiermann, Andreas, How to Characterize Provably Total Functions by Local Predicativity (1995) |

Weinberg, Roger, Computer Simulation of a Living Cell: Interdisciplinary Synergism (1970) |

Weinberg, Roger ; Flanigan, Larry K. ; Laing, Richard A., Computer Simulation of a Primitive, Evolving Eco-System (1970) |

Wells III, Benjamin Franklin, Pseudorecursive Varieties and their Implications for Word Problems (1982) |

Wermus, Hersz, Eine Konstruktiv-figürliche Begründung eines Abschnittes der Zweiten Zahlklasse (1961) |

Wesselkamper, T. C., Three Papers on the Completeness Properties of Abelian Semigroups and Groups (1974) |

Wesselkamper, T. C., Some Classical Mathematical Results Related to the Problems of the Firmware/Hardware Interface (1975) |

Wesselkamper, T. C., Divided Difference Methods for Galois Switching Functions (1978) |

Wesselkamper, T. C., The Algebraic Representation of Partial Functions (1978) |