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., Finite Differences |
| Wesselkamper, T. C., Functionally Complete Machines |
| 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) |