Search alternatives:
structural functions » structural functional, structures functions, structural foundations
structure functions » structure function

1
by Montalbán, Antonio
Published 2021
Cambridge University Press
Subjects: ...Computable functions...

2
Published 1993
Springer Netherlands
Table of Contents: ... Domains -- Piecewise Polynomial Functions -- Central f-Elements in Lattice-Ordered Algebras -- Archimedean...

3
Published 1989
Springer Netherlands
Table of Contents: ... of Definable Spine Analysis in Ordered Abelian Groups. -- Two: Rings -- Ordered Algebraic Structures...

4
by Ash, C. J.
Published 2000
Elsevier
Table of Contents: ...Preface. Computability. The arithmetical hierarchy. Languages and structures. Ordinals...

5
by Moschovakis, Yiannis N.
Published 1974
North-Holland Pub. Co.
Table of Contents: ...3C. The Boundedness and Covering Theorems.3D. Expanding a structure by an inductive relation; 3E...

6
by Dales, H. G., Dashiell, Jr., F.K., Lau, A.T.-M., Strauss, D.
Published 2016
Springer International Publishing
Subjects: ...Order, Lattices, Ordered Algebraic Structures...

7
by Molnár, L.
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...Some Linear and Multiplicative Preserver Problems on Operator Algebras and Function Algebras...

8
by Sanchis, Luis E.
Published 1992
North-Holland
Table of Contents: ...Front Cover; Recursive Functionals; Copyright Page; Contents; Preface; Chapter 1. Mappings...

9
by Crama, Yves, Hammer, P. L.
Published 2011
Cambridge University Press
Table of Contents: ... functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular...

10
by Sanchis, Luis E.
Published 1988
Springer New York
Table of Contents: .... Relational Structures -- §6. Uniform Structures -- 5 Hyperenumeration -- §1. Function Quantification -- §2...

11
by van Dalen, Dirk
Published 2004
Springer Berlin Heidelberg
... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...

12
by Dalen, Dirk van
Published 1980
Springer Berlin Heidelberg
... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...

13
by Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...

14
by Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...

15
by Grenander, U.
Published 1981
Springer New York
Table of Contents: ...5.5. Quadratic energy function -- 5.6. Frozen patterns: infinite G and n -- 5.7. Asymptotically...

16
by Normann, D.
Published 1980
Springer Berlin Heidelberg
Table of Contents: ...The maximal type structure -- The countable functionals -- Ct(n) as a topological space...

17
by Holz, Michael, Podewski, Klaus-Peter, Steffens, Karsten
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...Set theoretic foundations -- General criteria and their applications -- Structural properties...

18
by Posthoff, Christian, Steinbach, Bernd
Published 2004
Springer US
Table of Contents: ...I. Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 4. Boolean...

19
by Barvinok, Alexander
Published 2016
Springer International Publishing
Table of Contents: .... The Independence Polynomial -- Chapter VII. The Graph Homomorphism Partition Function -- Chapter VIII. Partition...

20
Published 1997
Springer Netherlands
Table of Contents: ... of Rings of Continuous Functions -- Continuous Ultraproducts -- Actions on Archimedean Lattice-Ordered...