On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

Bibliographic Details
Main Authors:	Kontchakov, R, Nenov, Y, Pratt−Hartmann, I, Zakharyaschev, M
Format:	Conference item
Published:	2011

Similar Items

Topological Logics with Connectedness over Euclidean Spaces
by: Kontchakov, R, et al.
Published: (2013)

Spatial logics with connectedness predicates
by: Roman Kontchakov, et al.
Published: (2010-08-01)

On the Computability of Region−Based Euclidean Logics
by: Nenov, Y, et al.
Published: (2010)

On construction of D-focal curves in Euclidean 3-space M³
by: Vedal Asil, et al.
Published: (2013-12-01)

A State Space for 3D Euclidean Yang–Mills Theories
by: Cao, Sky, et al.
Published: (2024)

The notions of closedness and D-connectedness in quantale-valued approach spaces
by: Muhammad Qasim, et al.
Published: (2020-01-01)

Ideas of space : Euclidean, Non-Euclidean and relativistic /
by: 333972 Gray, Jeremy
Published: (1989)

Ideas of space : euclidean, non-euclidean and relativistic /
by: 333972 Gray, Jeremy
Published: (1979)

The 2-dimensional constraint loop problem is decidable
by: Guilmant, Q, et al.
Published: (2024)

Euclidean wormholes for individual 2d CFTs
by: Jeevan Chandra
Published: (2024-04-01)

On convolution surfaces in Euclidean 3-space
by: Kadri Arslan, et al.
Published: (2018-09-01)

Local Pre-Hausdorffness and D-connectedness in L-valued closure spaces
by: Naveed Ahmad Malik, et al.
Published: (2022-03-01)

A similar for ∆1 problem for the second order hyperbolic equation in the 3D euclidean space
by: Irina N Rodionova, et al.
Published: (2015-12-01)

Connectedness and Local Connectedness on Infra Soft Topological Spaces
by: Tareq M. Al-shami, et al.
Published: (2021-07-01)

Analysis in euclidean space /
by: 364333 Hoffman, Kenneth
Published: (1975)

Connectedness on Hypersoft Topological Spaces
by: Sagvan Y. Musa, et al.
Published: (2022-09-01)

Transformation of Non-Euclidean Space to Euclidean Space for Efficient Learning of Singular Vectors
by: Seunghyun Lee, et al.
Published: (2020-01-01)

Characterization of Speherical Helices in Euclidean 3-Space
by: Ekmekci Nejat, et al.
Published: (2014-06-01)

Framed slant helices in Euclidean 3-space
by: Osman Zeki Okuyucu, et al.
Published: (2021-11-01)

A 10d construction of Euclidean axion wormholes in flat and AdS space
by: Gregory J. Loges, et al.
Published: (2023-06-01)

Berkovich spaces embed in Euclidean spaces
by: Hrushovski, Ehud, et al.
Published: (2017)

On the succinctness of query rewriting over shallow ontologies
by: Kikot, Stanislav, et al.
Published: (2014)

Leaves decompositions in Euclidean spaces
by: Ciosmak, KJ
Published: (2021)

Invariant connections on Euclidean space
by: Luisa Consiglieri, et al.
Published: (2009-07-01)

Integration in Euclidean spaces and manifolds
by: Lu, Jitan.
Published: (2008)

Equiangular lines and subspaces in Euclidean spaces
by: Balla, I, et al.
Published: (2017)

Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity
by: Bienvenu, M, et al.
Published: (2018)

Hypersurfaces With a Common Geodesic Curve in 4D Euclidean space E4
by: Sahar H. Nazra
Published: (2023-07-01)

Rotational Constraint between Beams in 3-D Space
by: H. R. Motamedian, et al.
Published: (2018-11-01)

Designing 1D correlated-electron states by non-Euclidean topography of 2D monolayers
by: Sunny Gupta, et al.
Published: (2022-06-01)

ϵ-isothermic surfaces in pseudo-Euclidean 3-space
by: Armando M. V. Corro, et al.
Published: (2023-07-01)

The Chen type of Hasimoto surfaces in the Euclidean 3-space
by: Hassan Al-Zoubi, et al.
Published: (2023-05-01)

Fractional Vector Cross Product in Euclidean 3-Space
by: Manisha M. Kankarej, et al.
Published: (2023-05-01)

Position vectors of slant helices in Euclidean 3-space
by: Ahmad T. Ali
Published: (2012-04-01)

Quantum D = 3 Euclidean and Poincaré symmetries from contraction limits
by: Jerzy Kowalski-Glikman, et al.
Published: (2020-09-01)

What is decidable about string constraints with ReplaceAll function
by: Chen, T, et al.
Published: (2017)

Uniformly distributed measures in Euclidean spaces
by: Kirchheim, B, et al.
Published: (2002)

Introduction to fourier analysis on euclidean spaces/
by: Stein, Elias M., 1931-, et al.
Published: (1971)

Solution of equations in euclidean and banach spaces /
by: 354985 Ostrowski, Alexander M.
Published: (1973)

Erratum to ”On Convolution surfaces in Euclidean spaces”
by: Kadri Arslan, et al.
Published: (2019-04-01)