scientific article; zbMATH DE number 1415884
From MaRDI portal
Publication:4943162
zbMath0987.54053MaRDI QIDQ4943162
Paulo Ribenboim, Sibylla Priess-Crampe
Publication date: 16 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fixed-point and coincidence theorems (topological aspects) (54H25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (3)
Convergence and fixed points by fuzzy orders ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ Fixed points and diametral sets for sequentially bounded mappings in orbital ultrametric spaces
This page was built for publication:
