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

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)