المؤلفون: Tyrrell, Brian

المساهمون: Koenigsmann, Jochen, Zilber, Boris

مصطلحات موضوعية: Undecidability, Algebraic number theory, Model Theory

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.886888

المؤلفون: Tengberg, Michael, Professor, 1978, Johansson, Maritha, Son-Neland, Margrethe

المصدر: L1-Educational Studies in Language and Literature. 23(2):1-24

مصطلحات موضوعية: Defamiliarization, Dialogic teaching, Narrative complexity, Literature discussions, Undecidability, Pedagogiskt arbete, Educational Work

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-98553
https://doi.org/10.21248/l1esll.2023.23.2.566

المؤلفون: Mikhail Prokopenko, Paul C W Davies, Michael Harré, Marcus G Heisler, Zdenka Kuncic, Geraint F Lewis, Ori Livson, Joseph T Lizier, Fernando E Rosas

المصدر: Journal of Physics: Complexity, Vol 6, Iss 1, p 015006 (2025)

مصطلحات موضوعية: tangled hierarchy, self-reference, undecidability, open-ended complexity, evolutionary transition, Science, Physics, QC1-999

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2632-072X

URL الوصول: https://doaj.org/article/6b0b3da2510c4f21a264dc04b2a37667

المؤلفون: Jingnan Xie, Harry B. Hunt, Richard E. Stearns

المصدر: Mathematics, Vol 12, Iss 20, p 3248 (2024)

مصطلحات موضوعية: computable analysis, undecidability, productiveness, computational complexity, functions of real variables, Hilbert’s tenth problem, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2227-7390/12/20/3248; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/1cd0ed4f4d90425fb2a6a2b963f643c5

المؤلفون: Guilmant, Quentin, Ouaknine, Joël

المساهمون: Quentin Guilmant and Joël Ouaknine

مصطلحات موضوعية: Weighted timed games, approximation, undecidability

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 311, 35th International Conference on Concurrency Theory (CONCUR 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.27

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2024.27
https://nbn-resolving.org/urn:nbn:de:0030-drops-207998
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.27

المؤلفون: Carral, David, Larroque, Lucas, Thomazo, Michaël

المساهمون: Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Montpellier (UM), Value from Data (VALDA), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: KR 2024 - 21st International Conference on Principles of Knowledge Representation and Reasoning ; https://hal.science/hal-04710719 ; KR 2024 - 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam ; https://kr.org/KR2024/

مصطلحات موضوعية: Existential rules, Datalog, Undecidability, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Hanoi, Vietnam

الاتاحة: https://hal.science/hal-04710719
https://hal.science/hal-04710719v1/document
https://hal.science/hal-04710719v1/file/2024-kr-obqa-datalog-expressible-undecidable.pdf

المؤلفون: MIT Hardness Group, Ani, Hayashi, Demaine, Erik D., Hall, Holden, Ruiz, Ricardo, Venkat, Naveen

المساهمون: MIT Hardness Group and Hayashi Ani and Erik D. Demaine and Holden Hall and Ricardo Ruiz and Naveen Venkat

مصطلحات موضوعية: video games, computational complexity, undecidability

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 291, 12th International Conference on Fun with Algorithms (FUN 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2024.22

الاتاحة: https://doi.org/10.4230/LIPIcs.FUN.2024.22
https://nbn-resolving.org/urn:nbn:de:0030-drops-199302
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2024.22

المؤلفون: Abel, Zachary, Hendrickson, Della

المساهمون: Zachary Abel and Della Hendrickson

مصطلحات موضوعية: Undecidability, Baba is You, RE-hardness, counter machines, universal computation

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 291, 12th International Conference on Fun with Algorithms (FUN 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2024.1

الاتاحة: https://doi.org/10.4230/LIPIcs.FUN.2024.1
https://nbn-resolving.org/urn:nbn:de:0030-drops-199093
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2024.1

المؤلفون: Researcher

المساهمون: Soham Dasgupta, Dipanjan Rout, Sourjya Gupta, Archisman Mukhrjee

المصدر: International Journal of Research In Mathematics and Computation (IJRMC), 10(2), 7-12, (2024-11-26)

مصطلحات موضوعية: Halting Problem, Turing machine, Undecidability, Stop function, Halting function, Product topology

Relation: https://doi.org/10.5281/zenodo.14220428; https://doi.org/10.5281/zenodo.14220429; oai:zenodo.org:14220429

الاتاحة: https://doi.org/10.5281/zenodo.14220429

المؤلفون: Márquez, Joaquín

المصدر: Theory Now. Journal of Literature, Critique, and Thought; Vol. 7 Núm. 1 (2024); 44-63 ; Theory Now. Journal of Literature, Critique, and Thought; Vol. 7 No. 1 (2024); 44-63 ; 2605-2822

مصطلحات موضوعية: Derrida, Literature, Democracy, Law, Responsability, Freedom, Undecidability, Democracy to come, literatura, democracia, ley, institución, responsabilidad, libertad, indecibilidad, littérature, démocratie, loi, responsabilité, liberté, indécidabilité

وصف الملف: application/pdf

Relation: https://revistaseug.ugr.es/index.php/TNJ/article/view/29040/26979; https://revistaseug.ugr.es/index.php/TNJ/article/view/29040

الاتاحة: https://revistaseug.ugr.es/index.php/TNJ/article/view/29040

المؤلفون: Francesco Fournier-Facio, Clara Löh, Marco Moraschini

المساهمون: Francesco Fournier-Facio, Clara Löh, Marco Moraschini

مصطلحات موضوعية: bounded cohomology, boundedly acyclic groups, mitotic groups, undecidability

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001320404900013; volume:XXV; issue:2; firstpage:1169; lastpage:1202; numberofpages:34; journal:ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA. CLASSE DI SCIENZE; https://hdl.handle.net/11585/897727; https://journals.sns.it/index.php/annaliscienze/article/view/5888

الاتاحة: https://hdl.handle.net/11585/897727
https://doi.org/10.2422/2036-2145.202201_003
https://journals.sns.it/index.php/annaliscienze/article/view/5888

المؤلفون: Louis Vitalis

المصدر: Les Cahiers de la Recherche Architecturale, Urbaine et Paysagère, Vol 19 (2023)

مصطلحات موضوعية: Inhabitants, Design Process, Pragmatics, Performative Speech, Undecidability, Architecture, NA1-9428, Geography. Anthropology. Recreation

وصف الملف: electronic resource

Relation: https://journals.openedition.org/craup/13696; https://doaj.org/toc/2606-7498

URL الوصول: https://doaj.org/article/a06c4f57711f4b4ba64fefb7731f5a9d

المؤلفون: Leone Massimo

المصدر: Language and Semiotic Studies, Vol 9, Iss 1, Pp 1-13 (2023)

مصطلحات موضوعية: fake, generative adversarial networks, simulation, undecidability of the digital fake, Philology. Linguistics, P1-1091

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2751-7160

URL الوصول: https://doaj.org/article/b44b88985fa547fbac26c8126d950e19

المؤلفون: Thompson, Emanuel

مصطلحات موضوعية: Gödel's Incompleteness Theorems, Logical Systems, Provability, Philosophy of Mathematics, Set Theory, Observers in Logic, Undecidability, Infinite Logic, measure theory

Relation: https://doi.org/10.5281/zenodo.13840679; https://doi.org/10.5281/zenodo.13864630; oai:zenodo.org:13864630

الاتاحة: https://doi.org/10.5281/zenodo.13864630

المؤلفون: Thompson, Emanuel

مصطلحات موضوعية: Gödel's Incompleteness Theorems, Logical Systems, Provability, Philosophy of Mathematics, Set Theory, Observers in Logic, Undecidability, Infinite Logic

Relation: https://doi.org/10.5281/zenodo.13840679; https://doi.org/10.5281/zenodo.13852307; oai:zenodo.org:13852307

الاتاحة: https://doi.org/10.5281/zenodo.13852307

المؤلفون: de Menibus, Benjamin Hellouin, Lutfalla, Victor, Vanier, Pascal

المساهمون: Graphes, Algorithmes et Combinatoire - LISN (GALaC), Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Algorithmes, Apprentissage et Calcul (AAC), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Institut de Mathématiques de Marseille (I2M), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), Equipe AMACC - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://hal.science/hal-04693345 ; 2024.

مصطلحات موضوعية: Tilings, Subshifts, Domino problem, Undecidability, Decision problem, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2409.11739; ARXIV: 2409.11739

الاتاحة: https://hal.science/hal-04693345
https://hal.science/hal-04693345v1/document
https://hal.science/hal-04693345v1/file/geomino.pdf

المؤلفون: Frontull, Samuel, Moser, Georg, van Oostrom, Vincent

المساهمون: Samuel Frontull and Georg Moser and Vincent van Oostrom

مصطلحات موضوعية: λ-calculus, variable capture, α-conversion, developments, safe λ-calculus, undecidability

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.22

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2023.22
https://nbn-resolving.org/urn:nbn:de:0030-drops-180068
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.22

المؤلفون: Ani, Joshua, Coulombe, Michael, Demaine, Erik D., Diomidov, Yevhenii, Gomez, Timothy, Hendrickson, Dylan, Lynch, Jayson

المساهمون: Joshua Ani and Michael Coulombe and Erik D. Demaine and Yevhenii Diomidov and Timothy Gomez and Dylan Hendrickson and Jayson Lynch

مصطلحات موضوعية: Gadgets, robots, undecidability, Petri nets

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 257, 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2023.5

الاتاحة: https://doi.org/10.4230/LIPIcs.SAND.2023.5
https://nbn-resolving.org/urn:nbn:de:0030-drops-179414
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2023.5

المؤلفون: Kirst, Dominik, Peters, Benjamin

المساهمون: Dominik Kirst and Benjamin Peters

مصطلحات موضوعية: incompleteness, undecidability, synthetic computability theory

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.30

الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2023.30
https://nbn-resolving.org/urn:nbn:de:0030-drops-174911
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.30

المؤلفون: Canio Noce, Alfonso Romano

المصدر: Encyclopedia, Vol 2, Iss 3, Pp 1517-1527 (2022)

مصطلحات موضوعية: undecidability, spectral gap, quantum phase transition, Science

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2673-8392/2/3/103; https://doaj.org/toc/2673-8392

URL الوصول: https://doaj.org/article/58352985b30f42b2baf694088ccb8508