• Suche: "undecidability"

Treffer 1 - 20 von 3.671

1

Restricted Chase Termination: You Want More than Fairness
Carral, David ; Gerlach, Lukas ; Larroque, Lucas ; et al.
PODS 2025 - ACM SIGMOD/PODS International Conference on Management of Data. :1-17

Berlin, Germany Chase Tuple Generating Depende... Existential Rules Undecidability [INFO]Computer Science [...
Konferenz
Zu den Favoriten
2

Decision problems on geometric tilings
Decision problems on geometric tilings: Wang potatoes and Finite Local Complexity
de Menibus, Benjamin Hellouin ; Lutfalla, Victor ; Vanier, Pascal ; et al.

Tilings Subshifts Domino problem Undecidability Decision problem [INFO.INFO-DM]Computer S... …
E-Ressource
Zu den Favoriten
3

Undecidability of Indecomposable Polynomial Rings
Barone, Marco ; Caro-Montoya, Nicolás ; Naziazeno, Eudes ; et al.

Fachzeitschrift
Zu den Favoriten
4

Variations on the Kripke Trick
Rybakov, Mikhail ; Shkatov, Dmitry ; Rybakov, Mikhail ; et al.

Fachzeitschrift
Zu den Favoriten
5

Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero
Bergstra, Jan A ; Tucker, John V ; Bergstra, Jan A ; et al.

Fachzeitschrift
Zu den Favoriten
7

Derrida y la indecidible zoografía. Acerca de los animales que dicen 'yo'
Fisgativa, Carlos Mario ; Fisgativa, Carlos Mario

Fachzeitschrift
Zu den Favoriten
8

Pour-El's Landscape
Kurahashi, Taishi ; Visser, Albert ; Kurahashi, Taishi ; et al.

Fachzeitschrift
Zu den Favoriten
9

Essential Hereditary Undecidability
Visser, Albert ; Visser, Albert

Fachzeitschrift
Zu den Favoriten
10

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable
Carral, David ; Larroque, Lucas ; Thomazo, Michaël ; et al.

Hanoi, Vietnam Existential rules Datalog Undecidability [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
11

The Roots of the Paradox of Predictability: A Reply to Gijsbers
Rummens, Stefan ; Rummens, Stefan

Fachzeitschrift
Zu den Favoriten
12

Career Choice in the 21st Century: Between uncertainty and undecidability
Héctor Magaña-Vargas
Revista Costarricense de Orientación, Vol 4, Iss Especial, Pp 1-13 (2025)

educational guidance undecidability free will HF5381-5386 Vocational guidance. Car... career choice
Fachzeitschrift
Zu den Favoriten
13

Théorie de l'homotopie quantitative
Théorie de l'homotopie quantitative: d'après Guth, Manin, Weinberger,...
Pansu, Pierre ; Understanding the Shape of Data (DATASHAPE) ; Centre Inria d'Université Côte d'Azur ; et al.

undecidability Hopf invariant Brouwer degree complexity rational homotopy Lipschitz constant …
E-Ressource
Zu den Favoriten
14

Equivalence of Finite Non-deterministic Logical Matrices is Undecidable
Caleiro, Carlos ; Filipe, Pedro ; Marcelino, Sérgio
Studia Logica: An International Journal for Symbolic Logic. :1-27

Fachzeitschrift
Zu den Favoriten
15

Mixed Quantifier Prefixes over Diophantine Equations with Integer Variables
Sun, Zhi-Wei
Journal of Systems Science and Complexity. 38(5):2226-2251

Fachzeitschrift
Zu den Favoriten
16

Minimal signatures with undecidability of representability by binary relations
Hirsch, Robin ; Jackson, Marcel ; Šemrl, Jaš
Semigroup Forum. 111(2):469-489

Fachzeitschrift
Zu den Favoriten
17

Observer Frameworks in Logical Systems: Extending Gödel's Incompleteness Theorems
Thompson, Emanuel, J ; United States Navy - U.S. Navy (USA)

Mathematics Subject Clas... Secondary 03D05 03B55 Mathematics Subject Clas... 03B40 Secondary 03D05 03B55 …
E-Ressource
Zu den Favoriten
18

The Wonderful Geometry of the Vandermonde map
Acevedo, Jose ; Blekherman, Grigoriy ; Debus, Sebastian ; et al.
Foundations of Computational Mathematics: The Journal of the Society for the Foundations of Computational Mathematics. :1-47

Fachzeitschrift
Zu den Favoriten
19

On Hilbert’s “geometric” tenth problem for odd characteristic function fields
Tyrrell-Nic Dhonncha, Brian
Archive for Mathematical Logic. :1-27

Fachzeitschrift
Zu den Favoriten
20

The Calculus of Justice and the Machine that Cannot Hesitate: A Semiotic Critique of Algorithmic Law
Ruhil, Olivia
International Journal for the Semiotics of Law - Revue internationale de Sémiotique juridique. :1-9

Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter