Suggested Topics within your search.
Showing 1 - 20 results of 277 for search 'type theory', query time: 0.02s Refine Results
  1. 1
    The clausal theory of types

    The clausal theory of types by Wolfram, D. A.

    Published 1993
    Book
    Save to List
    Saved in:
  2. 2
    Rational homotopy type :

    Rational homotopy type : by Wu, Wen-tsun

    Published 1987
    Book
    Save to List
    Saved in:
  3. 3
    Children's counting types :

    Children's counting types : by Steffe, Leslie P.

    Published 1983
    Book
    Save to List
    Saved in:
  4. 4
    Categories, types, and structures :

    Categories, types, and structures : by Asperti, Andrea

    Published 1991
    Book
    Save to List
    Saved in:
  5. 5
    The lattice of interpretability types of varieties

    The lattice of interpretability types of varieties by Garcia, O. C. (Octavio Carlos) 1933-

    Published 1984
    Book
    Save to List
    Saved in:
  6. 6
    Hierarchies of predicates of finite types

    Hierarchies of predicates of finite types by Clarke, Douglas Albert

    Published 1964
    Book
    Save to List
    Saved in:
  7. 7
    The continuum and other types of serial order :

    The continuum and other types of serial order : by Huntington, Edward Vermilye 1874-1952

    Published 1955
    Book
    Save to List
    Saved in:
  8. 8
    Finitary measures for subshifts of finite type and sofic systems

    Finitary measures for subshifts of finite type and sofic systems by Kitchens, Bruce 1953-

    Published 1985
    Book
    Save to List
    Saved in:
  9. 9
    On PL de Rham theory and rational homotopy type

    On PL de Rham theory and rational homotopy type by Bousfield, Aldridge Knight 1941-

    Published 1976
    Book
    Save to List
    Saved in:
  10. 10
    Theory and applications of nonlinear operators of accretive and monotone type

    Theory and applications of nonlinear operators of accretive and monotone type

    Published 1996
    Book
    Save to List
    Saved in:
  11. 11
    The cohomology of Chevalley groups of exceptional Lie type

    The cohomology of Chevalley groups of exceptional Lie type by Kleinerman, Samuel N. 1949-

    Published 1982
    Book
    Save to List
    Saved in:
  12. 12
    Some connections between isoperimetric and Sobolev-type inequalities

    Some connections between isoperimetric and Sobolev-type inequalities by Houdre, Christian

    Published 1997
    Book
    Save to List
    Saved in:
  13. 13
    Hardy type inequalities for abstract differential operators

    Hardy type inequalities for abstract differential operators by Amrein, Werner O.

    Published 1987
    Book
    Save to List
    Saved in:
  14. 14
    Buildings of spherical type and finite BN-pairs

    Buildings of spherical type and finite BN-pairs by Tits, Jacques

    Published 1974
    Book
    Save to List
    Saved in:
  15. 15
    Lie algebras, geometry and Toda-type systems

    Lie algebras, geometry and Toda-type systems by Razumov, Alexander V. (Alexander Vitalievich) 1952-

    Published 1997
    Book
    Save to List
    Saved in:
  16. 16
    Leray-Schauder type alternatives, complementarity problems and variational inequalities

    Leray-Schauder type alternatives, complementarity problems and variational inequalities by Isac, George

    Published 2006
    Book
    Save to List
    Saved in:
  17. 17
    Resolving maps and the dimension group for the shifts of finite type

    Resolving maps and the dimension group for the shifts of finite type by Boyle, Mike 1951-

    Published 1987
    Book
    Save to List
    Saved in:
  18. 18
    Structured stochastic matrices of M/G/1 type and their applications

    Structured stochastic matrices of M/G/1 type and their applications by Neuts, Marcel F.

    Published 1989
    Book
    Save to List
    Saved in:
  19. 19
    Littlewood-Paley theory on spaces of homogeneous type and the classical function spaces

    Littlewood-Paley theory on spaces of homogeneous type and the classical function spaces by Han, Yongsheng

    Published 1994
    Book
    Save to List
    Saved in:
  20. 20
    Positive polynomials and product type actions of compact groups

    Positive polynomials and product type actions of compact groups by Handelman, David, 1950-

    Published 1985
    Book
    Save to List
    Saved in:

Search Tools: