The following pages link to Recommended article (P1643):
Displaying 50 items.
- Existence and iterative solutions of a new kind of Sturm-Liouville-type boundary value problem with one-dimensional \(p\)-Laplacian (Q276392) (← links)
- Optimal control problems for a von Kármán system with long memory (Q276396) (← links)
- Positive Green's function and triple positive solutions of a second-order impulsive differential equation with integral boundary conditions and a delayed argument (Q276399) (← links)
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Generalized Scott topology on sets with families of pre-orders (Q276404) (← links)
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- On the largest Cartesian closed category of stable domains. (Q276408) (← links)
- Reductions and saturation reductions of (abstract) knowledge bases (Q276409) (← links)
- A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories (Q276411) (← links)
- Completely precontinuous posets. (Q276412) (← links)
- Meet precontinuous posets. (Q276413) (← links)
- \(\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)
- Ribbon proofs (Q276462) (← links)
- Cumulative computing (Q276464) (← 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)
- 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)
