Search alternatives:
"enclosures" » "inclosures", "eninclosures", "encloses"
"closures" » "inclosures", "closes"

1
by Martin, N.M., Pollard, S.
Published 1996
Springer US
Table of Contents: ... Functions -- 5 Homeomorphisms -- 6 Closed Bases and Closure Semantics I -- 7 Theory of Complete Lattices...

2
by Knebusch, Manfred, Scheiderer, Claus
Published 2022
Springer International Publishing
Table of Contents: ...1 Ordered fields and their real closures -- 2 Convex valuation rings and real places -- 3 The real...

3
by Sanchis, Luis E.
Published 1988
Springer New York
Table of Contents: ... -- §4. Closure Properties -- §5. Minimal Closure -- §6. More Elementary Functions and Predicates -- 2...

4
by Dohmen, Klaus
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- 4. Abstract Tubes via Closure and Kernel Operators -- 5. Recursive Schemes -- 6. Reliability...

5
Published 1988
Springer Berlin Heidelberg
Table of Contents: ...The strength of Borel wadge determinacy -- More closure properties of pointclasses -- Definable...

6
Published 2016
Springer International Publishing
Table of Contents: ... of Closure Systems -- Permutohedra and Associahedra -- Generalizations of the Permutohedron -- Lattice Theory...

7 Table of Contents: ... relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index...

8
Published 1999
Springer US
Table of Contents: ... Systems -- 3 Closure Operators in Fuzzy set Theory -- 4 Learning Fuzzy Decision Rules -- 5 Neuro-Fuzzy...

9
Published 1981
Springer Berlin Heidelberg
Table of Contents: ... -- Closure properties of pointclasses -- A note on wadge degrees -- Ordinal games and playful models...

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Thorough Study, Limitations and New Definitions -- Closure Systems of Equivalence Relations...

11
by Givant, Steven, Andréka, Hajnal
Published 2017
Springer International Publishing
Table of Contents: ... -- 4. Semipowers -- 5. Simple Closures -- 6. Quasi-bijective Relation Algebras -- 7. Quotient Relations...

12
by Korte, Bernhard, Lovasz, Laszlo, Schrader, Rainer
Published 1991
Springer Berlin Heidelberg
Table of Contents: .... Structural Properties -- 1. Rank Function -- 2. Closure Operators -- 3. Rank and Closure Feasibility -- 4...

13
by Takeuti, G., Zaring, W.M.
Published 1982
Springer New York
Table of Contents: ... of Classes -- 6 Functions and Relations -- 7 Ordinal Numbers -- 8 Ordinal Arithmetic -- 9 Relational Closure...

14
by Ershov, I︠U︡riĭ Leonidovich
Published 1998
Elsevier
Table of Contents: ... theory and linear orderings (R.G. Downey). Computable algebras and closure systems: coding properties...

15
Published 1984
Springer Berlin Heidelberg
Table of Contents: ... closures and semantics of while: Towards an iteration-based theory of data types -- Toward logic tailored...

16
by Doignon, Jean-Paul, Falmagne, Jean-Claude
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... -- Closure Operators and Galois Connections -- Lattices and Galois Connections -- Knowledge Structures...

17
by Moschovakis, Yiannis N.
Published 1974
North-Holland Pub. Co.
Table of Contents: ...; Exercises; Chapter 2. The stages of an inductive definition; 2A. The Stage Comparison Theorem; 2B. Closure...

18
Published 1984
Springer Berlin Heidelberg
Table of Contents: ... -- Definability in power series rings of nonzero characteristic -- Convexity properties and algebraic closure...

19
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... -- Session 5 -- Congruence Closure Modulo Associativity and Commutativity -- Combining Equational Theories...

20
Published 2020
Springer International Publishing
Table of Contents: ...Computability of Algebraic and Definable Closure -- Observable Models -- Countermodel Construction...