Searching for "On One-Based Theories." – sorted by Relevance.
-
Statistical Analysis of Indoor Multipath Channels Based on Ray Tracing Analysis
- be identified and isolated. The model is a deterministic one based on the theory of images, with extensions
- Add To MetaCart
-
Ample dividing
- Ample Dividing David M. Evans Abstract We construct a stable one-based, trivial theory with a
- Cited by 5 (2 self) – Add To MetaCart
-
Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas
- be one-based. We refer to one-based theories all of whose finitely based extensions are also one-based
- Add To MetaCart
-
Trivial stable structures with non-trivial reducts
- show that any pseudoplane arising from a non-one-based reduct of a stable one-based theory (with nfcp
- Cited by 4 (2 self) – Add To MetaCart
-
Automated Deduction in Equational Logic and Geometry
- . For example, we study (1) one-based theories, including the existence of simple single axioms, (2) self
- Add To MetaCart
-
An introduction to software architecture
- to Software Architecture 4 One of these is based on the theory of abstract data types
- Cited by 468 (25 self) – Add To MetaCart
-
Automated Deduction in Equational Logic and Cubic Curves
- ] for an excellent survey), and many of our theorems are in those areas. For example, we study (1) one-based theories
- Cited by 22 (6 self) – Add To MetaCart
-
Intonation Units and the Structure of Spontaneous Spoken Language: A View from Hebrew
- one, is based on theory, since there is no way of transforming the infinite range of acoustic features
- Add To MetaCart
-
Intonation Units and the Structure of Spontaneous Spoken Language: A View from Hebrew
- one, is based on theory, since there is no way of transforming the infinite range of acoustic features
- Add To MetaCart
-
A Note on Equational Theories
- are inconsistent one-based theories Srour closed no infinite descending chains of intersections of conjugates
- Cited by 1 (1 self) – Add To MetaCart

