Search

Your search keyword '"Least fixed point"' showing total 936 results

Search Constraints

Start Over You searched for: Descriptor "Least fixed point" Remove constraint Descriptor: "Least fixed point" Publication Year Range Last 50 years Remove constraint Publication Year Range: Last 50 years
936 results on '"Least fixed point"'

Search Results

1. Definability in the Subword Order

2. A Gandy Theorem for Abstract Structures and Applications to First-Order Definability

3. Definability in the Infix Order on Words

4. Thompson aggregators, Scott continuous Koopmans operators, and Least Fixed Point theory

5. Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations

6. A Fixed-point Theorem for Horn Formula Equations

7. Polynomial Analogue of Gandy’s Fixed Point Theorem

8. Fixed-point semantics for barebone relational concept analysis

9. Proof-theoretic strengths of the well-ordering principles

10. RELATING APARTNESS AND BISIMULATION

11. A Fixed Point Theorem on Lexicographic Lattice Structures

12. Representation and the Computation of Long Distance Tone Processes

13. Spy Game: Verifying a Local Generic Solver in Iris

14. Notes on Leitgeb's 'What truth depends on'

15. On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics

16. Common fixed point properties for a family of set-valued mappings

17. Fixed points in lambda calculus. An eccentric survey of problems and solutions

18. Definability in the structure of words with the inclusion relation.

19. Completions of -algebras

20. Topological aspects of weighted graphs with application to fixed point theory

22. Fixed points for generalized contractions via rational expressions in partially ordered b-metric spaces and applications to integral equations

23. Basic inequality on a b-metric space and its applications

24. Multiple fixed point theorems for contractive and Meir-Keeler type mappings defined on partially ordered spaces with a distance

25. Qualitative versus quantitative fixed point techniques in computer science

26. On fuzzification of Tarski's fixed point theorem without transitivity

27. New fixed point results in partial quasi-metric spaces

28. An answer to an open problem of Jachymski

29. The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results

30. Fixed point theorems for F-expanding mappings

32. A new method for split common fixed-point problem without priori knowledge of operator norms

35. Characterizing fixed points

37. Reverse mathematics and order theoretic fixed point theorems

38. A new iterative method for the split common fixed point problem in Hilbert spaces

39. A Class of Co-Design Problems With Cyclic Constraints and Their Solution

40. A Polynomial Time Algorithm for Computing Extinction Probabilities of Multitype Branching Processes

42. Tripled Fixed Point in Ordered Multiplicative Metric Spaces

43. Inductive <f>*</f>-semirings

44. On the equational definition of the least prefixed point

45. Definability of Least Fixed Points.

46. Tone Association and Output Locality in Non-Linear Structures

47. Closure Ordinals of the Two-Way Modal $$\mu $$-Calculus

48. Inversion, Iteration, and the Art of Dual Wielding

50. Multi-valued Logic for Static Analysis and Model Checking

Catalog

Books, media, physical & digital resources