The following pages link to (Q5565097):
Displaying 50 items.
- Admissibility and assumption (Q281332) (← links)
- Generating conditions for preserving the properties of controlled discrete event systems (Q329088) (← links)
- Theory structuralism in a rigid framework (Q383050) (← links)
- A scalable module system (Q391632) (← links)
- Axiomatization and models of scientific theories (Q429827) (← links)
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- A representational approach to reduction in dynamical systems (Q488476) (← links)
- Linear maps preserving \(r\)-potents of tensor products of matrices (Q513219) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Nilpotent-by-finite groups with the same finite images (Q595016) (← links)
- On the spectrum of the Burnside ring (Q598679) (← links)
- Remarks on the theory of quasi-sets (Q609640) (← links)
- The existence of an inverse limit of an inverse system of measure spaces -- a purely measurable case (Q624218) (← links)
- Algebras with scalar involution revisited (Q649843) (← links)
- Pro-torsion completions of abelian groups (Q686037) (← links)
- A secret sharing scheme with a short share realizing the \((t,n)\) threshold and the adversary structure (Q692299) (← links)
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates (Q756739) (← links)
- Outer measures and outer topologies (Q787317) (← links)
- Theory of symbolic expressions. I (Q791311) (← links)
- Finarity substitute for continuous topology (Q809388) (← links)
- Balayage of measures with respect to (sub-)harmonic functions (Q828167) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Fuzzy sets and sheaves. I: Basic concepts (Q881818) (← links)
- Basic concepts of structuralism (Q907905) (← links)
- Scientific processes and social processes (Q907909) (← links)
- Generalized dynamic programming for multicriteria optimization (Q908857) (← links)
- The Picard group of a reduced G-algebra (Q911658) (← links)
- Weak comparability of well orderings and reverse mathematics (Q918549) (← links)
- The outflow ranking method for weighted directed graphs (Q958091) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
- On the theory of realization of quasilinear systems described by differential equations in a Hilbert space (Q1008337) (← links)
- Structural stability of market models (Q1055329) (← links)
- Analytic extension of locally defined Riemannian manifolds (Q1065368) (← links)
- Knot groups whose bases are abelian (Q1074909) (← links)
- Normal bases of a family of endomorphisms of a metrized vector bundle (Q1102430) (← links)
- Countability and sequentiality in fuzzy topological spaces (Q1114953) (← links)
- New results on pole-shifting for parametrized families of systems (Q1116929) (← links)
- Theory and applications of generalized dynamic programming: An overview (Q1119492) (← links)
- A formal description of representation theorems for constitutive functions (Q1143835) (← links)
- On theoreticity (Q1145688) (← links)
- Properties that are productive, closed-hereditary and surjective (Q1148585) (← links)
- Axiomatization of Jeffrey utilities (Q1149364) (← links)
- The core of a coalition production economy (Q1160067) (← links)
- Divisibility on countably dense ideals and countable orthocompleteness of modules (Q1160242) (← links)
- Fixed point theorems and semantics: A folk tale (Q1166268) (← links)
- Foundations of lexicographic utility (Q1169919) (← links)
- Almost complete spaces, hypercomplete spaces and related mapping theorems (Q1183636) (← links)
