The following pages link to title (P159):
Displaying 50 items.
- \(\mathbb T^\omega\) as a stable universal domain. (Q276416) (← links)
- Observationally-induced algebras in domain theory (Q276418) (← links)
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- On a condition for semirings to induce compact information algebras. (Q276423) (← links)
- A note on finitely derived information systems (Q276427) (← links)
- Characterising E-projectives via co-monads (Q276429) (← links)
- Formal contexts for algebraic domains (Q276430) (← links)
- Erratum to: ``A generalization of the Goldston-Pintz-Yildirim prime gaps result to number fields'' (Q276432) (← links)
- On the classification of abelian groups. (Q276434) (← links)
- A subexponential upper bound for the on-line chain partitioning problem (Q276436) (← links)
- Packing anchored rectangles (Q276437) (← links)
- Matroid intersection, base packing and base covering for infinite matroids (Q276439) (← links)
- The Szemerédi-Trotter theorem in the complex plane (Q276440) (← links)
- Dowker-type theorems for hyperconvex discs (Q276441) (← links)
- Formulae related to the \(q\)-Dixon formula with applications to Fibonomial sums (Q276443) (← links)
- On the exponential Diophantine equation \(x^2 + 2^a p^b = y^n\) (Q276448) (← links)
- Multiple Haar base in the converse theorems of approximation and imbedding theorems (Q276450) (← links)
- Results on uniqueness of entire functions whose certain difference polynomials share a small function (Q276452) (← links)
- Embedding operators of Sobolev spaces with variable exponents and applications (Q276453) (← links)
- On some problems of Euclidean Ramsey theory (Q276454) (← links)
- Approximation of functions from Nikolskii-Besov type classes of generalized mixed smoothness (Q276457) (← links)
- Erratum to our paper: On the divergence of Fourier series of functions in several variables (Q276460) (← links)
- Ribbon proofs (Q276462) (← links)
- Cumulative computing (Q276464) (← links)
- Entropic geometry from logic (Q276466) (← links)
- Towards the correctness of security protocols (Q276469) (← links)
- Domain-theoretic solution of differential equations (scalar fields) (Q276473) (← links)
- The security picalculus and non-interference (extended abstract) (Q276474) (← links)
- Intensional double glueing, biextensional collapse, and the Chu construction (Q276476) (← links)
- Contextual equivalence for higher-order \(\pi\)-calculus revisited (Q276479) (← links)
- On the semantics of the bad-variable constructor in Algol-like languages (Q276481) (← links)
- Generic transforms on incomplete specifications of asynchronous interfaces (Q276483) (← links)
- Secure protocol composition (Q276488) (← links)
- Pseudo-distributive laws (Q276490) (← links)
- How do domains model topologies? (Q276492) (← links)
- A type system for robust declassification (Q276494) (← links)
- Compact coverages generate spectral frames. (Q276495) (← links)
- Chu spaces, concept lattices, and domains (Q276496) (← links)
- Saddle point approach to solving problem of optimal control with fixed ends (Q276498) (← links)
- A preconditioned block Arnoldi method for large scale Lyapunov and algebraic Riccati equations (Q276501) (← links)
- Global optimization approach to Malfatti's problem (Q276503) (← links)
- Generalized subdifferentials of the sign change counting function (Q276504) (← links)
- Notes on the single route lateral transhipment problem (Q276506) (← links)
- Balancing mixed-model assembly lines with sequence-dependent tasks via hybrid genetic algorithm (Q276510) (← links)
- Practical exponential set stabilization for switched nonlinear systems with multiple subsystem equilibria (Q276514) (← links)
- On global search in nonconvex optimal control problems (Q276516) (← links)
- Guest editorial: Revised selected papers from the LION 8 conference (Q276518) (← links)
- Controlling selection areas of useful infeasible solutions for directed mating in evolutionary constrained multi-objective optimization (Q276522) (← links)
- On some statistical procedures for stock selection problem (Q276526) (← links)
- On multivariate network analysis of statistical data sets with different measures of association (Q276528) (← links)
