Готові списки джерел за темами / Finite topological spaces

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Книги
  4. Частини книг
  5. Тези доповідей конференцій
  6. Звіти організацій

Добірка наукової літератури з теми "Finite topological spaces"

Автор: Grafiati
Опубліковано: 17 лютого 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Finite topological spaces".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Finite topological spaces"

1

Benoumhani, Moussa, and Ali Jaballah. "Finite fuzzy topological spaces." Fuzzy Sets and Systems 321 (August 2017): 101–14. http://dx.doi.org/10.1016/j.fss.2016.11.003.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

OSAKI, Takao. "Reduction of Finite Topological Spaces." Interdisciplinary Information Sciences 5, no. 2 (1999): 149–55. http://dx.doi.org/10.4036/iis.1999.149.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Chae, Hi-joon. "FINITE TOPOLOGICAL SPACES AND GRAPHS." Communications of the Korean Mathematical Society 32, no. 1 (2017): 183–91. http://dx.doi.org/10.4134/ckms.c160004.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Bagchi, Susmit. "Topological Sigma-Semiring Separation and Ordered Measures in Noetherian Hyperconvexes." Symmetry 14, no. 2 (2022): 422. http://dx.doi.org/10.3390/sym14020422.

Повний текст джерела
Анотація:
The interplay between topological hyperconvex spaces and sigma-finite measures in such spaces gives rise to a set of analytical observations. This paper introduces the Noetherian class of k-finite k-hyperconvex topological subspaces (NHCs) admitting countable finite covers. A sigma-finite measure is constructed in a sigma-semiring in a NHC under a topological ordering of NHCs. The topological ordering relation maintains the irreflexive and anti-symmetric algebraic properties while retaining the homeomorphism of NHCs. The monotonic measure sequence in a NHC determines the convexity and compactn
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Edelsbrunner, Herbert, and Nimish R. Shah. "Triangulating Topological Spaces." International Journal of Computational Geometry & Applications 07, no. 04 (1997): 365–78. http://dx.doi.org/10.1142/s0218195997000223.

Повний текст джерела
Анотація:
Given a subspace [Formula: see text] and a finite set S⊆ℝd, we introduce the Delaunay complex, [Formula: see text], restricted by [Formula: see text]. Its simplices are spanned by subsets T⊆S for which the common intersection of Voronoi cells meets [Formula: see text] in a non-empty set. By the nerve theorem, [Formula: see text] and [Formula: see text] are homotopy equivalent if all such sets are contractible. This paper proves a sufficient condition for [Formula: see text] and [Formula: see text] be homeomorphic.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Clader, Emily. "Inverse limits of finite topological spaces." Homology, Homotopy and Applications 11, no. 2 (2009): 223–27. http://dx.doi.org/10.4310/hha.2009.v11.n2.a11.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Nakasho, Kazuhisa, Hiroyuki Okazaki, and Yasunari Shidama. "Finite Dimensional Real Normed Spaces are Proper Metric Spaces." Formalized Mathematics 29, no. 4 (2021): 175–84. http://dx.doi.org/10.2478/forma-2021-0017.

Повний текст джерела
Анотація:
Summary In this article, we formalize in Mizar [1], [2] the topological properties of finite-dimensional real normed spaces. In the first section, we formalize the Bolzano-Weierstrass theorem, which states that a bounded sequence of points in an n-dimensional Euclidean space has a certain subsequence that converges to a point. As a corollary, it is also shown the equivalence between a subset of an n-dimensional Euclidean space being compact and being closed and bounded. In the next section, we formalize the definitions of L1-norm (Manhattan Norm) and maximum norm and show their topological equ
Стилі APA, Harvard, Vancouver, ISO та ін.
8

K. K, Bushra Beevi, and Baby Chacko. "PARACOMPACTNESS IN GENERALIZED TOPOLOGICAL SPACES." South East Asian J. of Mathematics and Mathematical Sciences 19, no. 01 (2023): 287–300. http://dx.doi.org/10.56827/seajmms.2023.1901.24.

Повний текст джерела
Анотація:
In this paper we introduce the concepts G - locally finite, σG - locally finite and G - paracompactness. Also discuss about some properties of these concepts. Here we investigate that some properties in topological spaces and generalized topological spaces (GTS) are coincides if we replace open sets by generalized open sets (G - open sets ). Also, we provide some examples to show some results are invalid in the case of GTS.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Kang, Jeong, Sang-Eon Han, and Sik Lee. "The Fixed Point Property of Non-Retractable Topological Spaces." Mathematics 7, no. 10 (2019): 879. http://dx.doi.org/10.3390/math7100879.

Повний текст джерела
Анотація:
Unlike the study of the fixed point property (FPP, for brevity) of retractable topological spaces, the research of the FPP of non-retractable topological spaces remains. The present paper deals with the issue. Based on order-theoretic foundations and fixed point theory for Khalimsky (K-, for short) topological spaces, the present paper studies the product property of the FPP for K-topological spaces. Furthermore, the paper investigates the FPP of various types of connected K-topological spaces such as non-K-retractable spaces and some points deleted K-topological (finite) planes, and so on. To
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Nogin, Maria, and Bing Xu. "Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces." International Journal of Mathematics and Mathematical Sciences 2016 (2016): 1–3. http://dx.doi.org/10.1155/2016/9163014.

Повний текст джерела
Анотація:
In this paper we consider the topological interpretations of L□, the classical logic extended by a “box” operator □ interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological spaces, and quotient spaces of finite CW-complexes.
Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Finite topological spaces"

1

Lesser, Alice. "Optimal and Hereditarily Optimal Realizations of Metric Spaces." Doctoral thesis, Uppsala University, Department of Mathematics, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8297.

Повний текст джерела
Анотація:
<p>This PhD thesis, consisting of an introduction, four papers, and some supplementary results, studies the problem of finding an <i>optimal realization</i> of a given finite metric space: a weighted graph which preserves the metric's distances and has minimal total edge weight. This problem is known to be NP-hard, and solutions are not necessarily unique.</p><p>It has been conjectured that <i>extremally weighted</i> optimal realizations may be found as subgraphs of the <i>hereditarily optimal realization</i> Γ<sub>d</sub>, a graph which in general has a higher total edge weight than the optim
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Tamburini, Caterina. "The isomorphism problem for directed acyclic graphs: an application to multivector fields." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/15793/.

Повний текст джерела
Анотація:
This thesis is based on a project developed by a group of researchers at the Faculty of Mathematics and Computer Science at the Jagiellonian University of Krakow. They study sampled dynamics using combinatorial multivector fields. Applying a decomposition into strongly connected components, it is possible to create a directed acyclic graph, called Morse graph, which is a description of the multivector field's global dynamics. Therefore the purpose of this thesis is to compare directed acyclic graphs. In the first chapter we describe the creation process of a Morse graph and an algorithm to stu
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Ameen, Zanyar. "Finitely additive measures on topological spaces and Boolean algebras." Thesis, University of East Anglia, 2015. https://ueaeprints.uea.ac.uk/56864/.

Повний текст джерела
Анотація:
The thesis studies some problems in measure theory. In particular, a possible generalization corresponding to Maharam Theorem for �nitely additive measures (charges). In the �rst Chapter, we give some de�nitions and results on di�erent areas of Mathematics that will be used during this work. In Chapter two, we recall the de�nitions of nonatomic, continuous and Darboux charges, and show their relations tWe hereby con�rm that all work without reference are our work excluding the chapter one. We hereby con�rm that all work without reference are our work excluding the chapter one. o each other. Th
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Ayadi, Mohamed. "Propriétés algébriques et combinatoires des espaces topologiques finis." Electronic Thesis or Diss., Université Clermont Auvergne (2021-...), 2022. http://www.theses.fr/2022UCFAC106.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Ibrahim, Caroline Maher Boulis Heil Wolfgang. "Finite abelian group actions on orientable circle bundles over surfaces." 2004. http://etd.lib.fsu.edu/theses/available/etd-07122004-135529.

Повний текст джерела
Анотація:
Thesis (Ph. D.)--Florida State University, 2004.<br>Advisor: Dr. Wolfgang Heil, Florida State University, College of Arts and Sciences, Dept. of Mathematics. Title and description from dissertation home page (viewed Sept. 28, 2004). Includes bibliographical references.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Jasinski, Jakub. "Hrushovski and Ramsey Properties of Classes of Finite Inner Product Structures, Finite Euclidean Metric Spaces, and Boron Trees." Thesis, 2011. http://hdl.handle.net/1807/29762.

Повний текст джерела
Анотація:
We investigate two combinatorial properties of classes of finite structures, as well as related applications to topological dynamics. Using the Hrushovski property of classes of finite structures -- a finite extension property of homomorphisms -- we can show the existence of ample generics. For example, Solecki proved the existence of ample generics in the context of finite metric spaces that do indeed possess this extension property. Furthermore, Kechris, Pestov and Todorcevic have shown that the Ramsey property of Fraisse classes of finite structures implies that the automorphism group of t
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Finite topological spaces"

1

Barmak, Jonathan A. Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Barmak, Jonathan A. Algebraic topology of finite topological spaces and applications. Springer, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Ryszard, Engelking, ed. Theory of dimensions, finite and infinite. Heldermann, 1995.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Talsi, Jussi. Imbeddings of equivariant complexes into representation spaces. Suomalainen Tiedeakatemia, 1994.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Spaces of constant curvature. 6th ed. AMS Chelsea Pub., 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Topology and geometry in dimension three: Triangulations, invariants, and geometric structures : conference in honor of William Jaco's 70th birthday, June 4-6, 2010, Oklahoma State University, Stillwater, OK. American Mathematical Society, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Stanford Symposium on Algebraic Topology: Applications and New Directions (2012 : Stanford, Calif.), ed. Algebraic topology: Applications and new directions : Stanford Symposium on Algebraic Topology: Applications and New Directions, July 23--27, 2012, Stanford University, Stanford, CA. American Mathematical Society, 2014.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

1953-, Campillo Antonio, ed. Zeta functions in algebra and geometry: Second International Workshop on Zeta Functions in Algebra and Geometry, May 3-7, 2010, Universitat de Les Illes Balears, Palma de Mallorca, Spain. American Mathematical Society, 2012.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

1980-, Blazquez-Sanz David, Morales Ruiz, Juan J. (Juan José), 1953-, and Lombardero Jesus Rodriguez 1961-, eds. Symmetries and related topics in differential and difference equations: Jairo Charris Seminar 2009, Escuela de Matematicas, Universidad Sergio Arboleda, Bogotá, Colombia. American Mathematical Society, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Richmond, Thomas Alan. Finite-point order compactifications. 1986.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Finite topological spaces"

1

Kono, Susumu, and Fumihiro Ushitaki. "Geometry of Finite Topological Spaces and Equivariant Finite Topological Spaces." In K-Monographs in Mathematics. Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-009-0003-5_4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Tikhomirov, V. M. "Finite Coverings of Topological Spaces." In Selected Works of A. N. Kolmogorov. Springer Netherlands, 1991. http://dx.doi.org/10.1007/978-94-011-3030-1_31.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Barmak, Jonathan A. "Basic Topological Properties of Finite Spaces." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Barmak, Jonathan A. "Minimal Finite Models." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_3.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Barmak, Jonathan A. "Simple Homotopy Types and Finite Spaces." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Barmak, Jonathan A. "Preliminaries." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Barmak, Jonathan A. "Fixed Points and the Lefschetz Number." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Barmak, Jonathan A. "The Andrews–Curtis Conjecture." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_11.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Barmak, Jonathan A. "Strong Homotopy Types." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_5.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Barmak, Jonathan A. "Methods of Reduction." In Algebraic Topology of Finite Topological Spaces and Applications. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22003-6_6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Finite topological spaces"

1

Muradov, Firudin Kh. "Ternary semigroups of topological transformations of open sets of finite-dimensional Euclidean spaces." In FOURTH INTERNATIONAL CONFERENCE OF MATHEMATICAL SCIENCES (ICMS 2020). AIP Publishing, 2021. http://dx.doi.org/10.1063/5.0042197.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Stimpfl, Franz, Josef Weinbub, René Heinzl, et al. "A Unified Topological Layer for Finite Element Space Discretization." In ICNAAM 2010: International Conference of Numerical Analysis and Applied Mathematics 2010. AIP, 2010. http://dx.doi.org/10.1063/1.3498151.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Tasolamprou, A. C., M. Kafesaki, C. M. Soukoulis, E. N. Economou, and Th Koschny. "Topological surface states at the free space termination of uncorrugated finite square photonic crystals." In 2021 Fifteenth International Congress on Artificial Materials for Novel Wave Phenomena (Metamaterials). IEEE, 2021. http://dx.doi.org/10.1109/metamaterials52332.2021.9577199.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Rashid, Mark M., Mili Selimotic, and Tarig Dinar. "General Polyhedral Finite Elements for Rapid Nonlinear Analysis." In ASME 2008 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/detc2008-49248.

Повний текст джерела
Анотація:
An analysis system for solid mechanics applications is described in which a new finite element method that can accommodate general polyhedral elements is exploited. The essence of the method is direct polynomial approximation of the shape functions on the physical element, without transformation to a canonical element. The main motive is elimination of the requirement that all elements be similar to a canonical element via the usual isoparametric mapping. It is this topological restriction that largely drives the design of mesh-generation algorithms, and ultimately leads to the considerable hu
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Yuksel, Osman, and Cetin Yilmaz. "Size and Topology Optimization of Inertial Amplification Induced Phononic Band Gap Structures." In ASME 2017 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/imece2017-71342.

Повний текст джерела
Анотація:
In this study, inertial amplification induced phononic band gaps are attained by performing structural optimization on a compliant unit cell mechanism of a one-dimensional periodic structure. First of all, stop band characteristics of the lumped parameter model of the unit cell mechanism is discussed. Next, the distributed parameter model of the compliant unit cell is presented. In order to obtain wide and deep inertial amplification induced stop bands, both size and topology optimization methods are utilized considering the distributed parameter model of the unit cell mechanism. The band gap
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Abdel-Malek, K., Walter Seaman, and Harn-Jou Yeh. "An Exact Method for NC Verification of up to 5-Axis Machining." In ASME 1999 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/detc99/dac-8560.

Повний текст джерела
Анотація:
Abstract The motion of a cutter tool is modeled as a surface undergoing a sweep operation along another geometric entity. A numerically controlled machining verification method is developed based on a formulation for delineating the volume generated by the motion of a cutting tool on the workpiece (stock). Varieties and subvarieties that are subsets of some Eucledian space defined by the zeros of a finite number of analytic functions are computed and are characterized as closed form equations of surface patches of this volume. A topological space describing the swept volume will be built as a
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Sundararaman, Venkatesh, Matthew P. O'Donnell, Isaac V. Chenchiah, and Paul M. Weaver. "Topology Morphing Lattice Structures." In ASME 2021 Conference on Smart Materials, Adaptive Structures and Intelligent Systems. American Society of Mechanical Engineers, 2021. http://dx.doi.org/10.1115/smasis2021-67531.

Повний текст джерела
Анотація:
Abstract Planar cellular lattice structures subject to axial compression may undergo elastic bending or buckling of the unit cells. If sufficient compression is applied, the columns of adjacent cells make contact. This changes the topology of the lattice by establishing new load paths. This topology change induces a corresponding shift in the effective stiffness characteristics of the lattice — in particular, the shear modulus undergoes a step-change. The ability to embed adaptive stiffness characteristics through a topology change allows structural reconfiguration to meet changing load/operat
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Takacs, Peter Z., and Eugene L. Church. "Surface profiles and scatter from soft-x-ray optics." In OSA Annual Meeting. Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.tuo1.

Повний текст джерела
Анотація:
The performance of soft-x-ray optics in synchrotron beam lines and for space astronomy use requires detailed knowledge of the topological properties of their surfaces. Instrumentation now exists for the measurement of surface profiles on spherical and aspherical surfaces up to one meter in length with subnanometer height resolution and submicroradian slope resolution. Analysis of surface profile data in terms of the power spectral density function over the entire range of spatial periods—from micrometers to meters—allows one to predict the performance of the component in a unified theoretical
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Charlesworth, William W., and David C. Anderson. "Applications of Non-Manifold Topology." In ASME 1995 15th International Computers in Engineering Conference and the ASME 1995 9th Annual Engineering Database Symposium collocated with the ASME 1995 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1995. http://dx.doi.org/10.1115/cie1995-0737.

Повний текст джерела
Анотація:
Abstract It is widely recognized that a solid model based on a non-manifold boundary representation can have a more complicated surface topology than one based on a manifold boundary representation, but non-manifold topology has other capabilities that may be more valuable to the application developer. Non-manifold topology can be put to use in existing application areas in ways that differ significantly from the techniques developed for manifold modeling and it can be put to use in new applications that have not been satisfactorily solved by manifold topology. Several applications of non-mani
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Choi, Haejoon, Adrian Matias Chung Baek, and Namhum Kim. "Design of Non-Periodic Lattice Structures by Allocating Pre-Optimized Building Blocks." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-98204.

Повний текст джерела
Анотація:
Abstract The development of lattice design approaches using topology optimization to create complex lattice structures is the focus of ongoing research as the lattice structures show great potential throughout a wider range of research fields. Unfortunately, many of the methods suggested are often very difficult to industrialize due to their complexity and excessive computational costs in the design process. This paper proposes a novel framework of generating non-periodic lattice structures using topologically pre-optimized building blocks to improve the computational efficiency of the optimiz
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Finite topological spaces"

1

Lutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.

Повний текст джерела
Анотація:
The eight topological RCC8(or Egenhofer-Franzosa)- relations between spatial regions play a fundamental role in spatial reasoning, spatial and constraint databases, and geographical information systems. In analogy with Halpern and Shoham’s modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the RCC8-relations. The semantics is based on region spaces induced by standard topological spaces, in particular the real plane. We investigate the expressive power and computational complexity of the
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії