Výsledky vyhledávání - "Kleene's second recursion theorem"

A Rice’s Theorem for Abstract Semantics

Autoři: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng a další

Přispěvatelé: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng a další

Témata: Computability Theory, Recursive Function, Rice’s Theorem, Kleene’s Second Recursion Theorem, Program Analysis, Affine Program Invariants

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.117

Dostupnost: https://doi.org/10.4230/LIPIcs.ICALP.2021.117
https://nbn-resolving.org/urn:nbn:de:0030-drops-141860
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.117

Kleene's second recursion theorem - overview, implementation and applications to computer virology

Autoři: Cerón Uribe, Santiago Martínez Baldares, Maricarmen Vega Sinisterra, Ramiro Hernando de la

Přispěvatelé: Cerón Uribe, Santiago Martínez Baldares, Maricarmen Vega Sinisterra, Ramiro Hernando de la

Zdroj: instname:Universidad de los Andes ; reponame:Repositorio Institucional Séneca

Témata: Ciencia de los computadores - Matemáticas - Investigaciones, Lenguajes de programación (Computadores electrónicos) - Investigaciones, Algoritmos (Computadores) - Investigaciones, Virus informáticos - Investigaciones, Matemáticas

Popis souboru: 80 hojas; application/pdf

Relation: http://hdl.handle.net/1992/19051; u728621.pdf; instname:Universidad de los Andes; reponame:Repositorio Institucional Séneca; repourl:https://repositorio.uniandes.edu.co/

Dostupnost: http://hdl.handle.net/1992/19051

A Rice’s Theorem for Abstract Semantics

Autoři: Paolo Baldan and Francesco Ranzato and Linpeng Zhang Baldan, Paolo Ranzato, Francesco a další

Témata: Computability Theory, Recursive Function, Rice’s Theorem, Kleene’s Second Recursion Theorem, Program Analysis, Affine Program Invariants, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.117
Is Part Of LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)

Implications of computer science theory for the simulation hypothesis

Autoři: Wolpert, David

Témata: Complex Systems, Classical AI, Classical Physics, Computer Science, Artificial Intelligence, Preprint, NonPeerReviewed

URL: https://philsci-archive.pitt.edu/23278/7/CS.theory.of.simulation.hypothesis.first.arxiv.posted.V2.pdf
https://philsci-archive.pitt.edu/23278/
https://philsci-archive.pitt.edu/23278

Implications of computer science theory for the simulation hypothesis

Autoři: Wolpert, David H.

Témata: Computer Science - Logic in Computer Science, Physics - History and Philosophy of Physics, F.1, F.m, text

URL: http://arxiv.org/abs/2404.16050

Algebra of Self-Replication

Autoři: Moss, Lawrence S.

Témata: Computer Science - Logic in Computer Science, Mathematics - Logic, 03D10, 68Q04, 08B05, F.1.1, text

URL: http://arxiv.org/abs/2309.09931

On the semantics of intensionality and intensional recursion

Autoři: Kavvos, Georgios Alexandros Abramsky, Samson

Přispěvatelé: Kavvos, Georgios Alexandros Abramsky, Samson

Témata: 005.101, Programming Languages, Computer Science, Category Theory, Mathematical Logic

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.736148

Intensional Kleene and Rice theorems for abstract program semantics.

Autoři: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng

Zdroj: Information & Computation. Nov2022:Part A, Vol. 289, pN.PAG-N.PAG. 1p.

Témata: *COMPUTABLE functions, *RICE, *SEMANTICS

Intensional Kleene and Rice Theorems for Abstract Program Semantics

Autoři: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng

Témata: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.1.1, F.3.1, text

URL: http://arxiv.org/abs/2105.14579

A Swiss Pocket Knife for Computability

Autoři: Jones, Neil D.

Témata: Computer Science - Programming Languages, Computer Science - Computational Complexity, text

URL: http://arxiv.org/abs/1309.5128

A Classification of Viruses Through Recursion Theorems.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

Zdroj: Computation & Logic in the Real World. 2007, p73-82. 10p.

Exploring the philosophical perspectives of future robots.

Autoři: Guilherme, Anthony Costa, José Félix

Zdroj: International Journal of Parallel, Emergent & Distributed Systems; Jan2025, Vol. 40 Issue 1, p21-58, 38p

Témata: PHILOSOPHY of science, SCIENTIFIC method, ARTIFICIAL intelligence, PRINCIPLE (Philosophy), MACHINE learning

What computer science has to say about the simulation hypothesis

Autoři: Wolpert, David Santa Fe Institute

Přispěvatelé: Wolpert, David Santa Fe Institute

Zdroj: Journal of Physics: Complexity ; ISSN 2632-072X

Dostupnost: https://doi.org/10.1088/2632-072x/ae1e50
https://iopscience.iop.org/article/10.1088/2632-072X/ae1e50
https://iopscience.iop.org/article/10.1088/2632-072X/ae1e50/pdf

Intensionality, Intensional Recursion, and the G\'odel-L\'ob axiom

Autoři: Kavvos, G. A.

Témata: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1703.01288

On the Semantics of Intensionality and Intensional Recursion

Autoři: Kavvos, G. A.

Témata: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory, Mathematics - Logic, 03B70, 03B45, 03F45, 68Q55, 18C50, 18A99, F.3.2, F.3.3, F.1.1, F.4.1, D.3.2, D.3.3, text

URL: http://arxiv.org/abs/1712.09302

Naïve Truth and the Evidential Conditional.

Autoři: Iacona, Andrea Rossi, Lorenzo

Zdroj: Journal of Philosophical Logic; Apr2024, Vol. 53 Issue 2, p559-584, 26p

Témata: FIRST-order logic, INFERENCE (Logic), ARGUMENT, PARADOX

A Swiss Pocket Knife for Computability

Autoři: Jones, Neil Banerjee, Anindya Danvy, Olivier a další

Přispěvatelé: Jones, Neil Banerjee, Anindya Danvy, Olivier a další

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 1-17 (2013)
Jones, N 2013, A swiss pocket knife for computability . in A Banerjee, O Danvy, K-G Doh & J Hatcliff (eds), Semantics, Abstract Interpretation, and Reasoning about Programs : essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013 . Electronic Proceedings in Theoretical Computer Science, vol. 129, pp. 1-17 . https://doi.org/10.4204/EPTCS.129.1

Témata: FOS: Computer and information sciences, Computer Science - Computational Complexity, Computer Science - Programming Languages, Computer Science - Programming Languages, Computer Science - Computational Complexity, Electronic computers. Computer science, QA1-939, QA75.5-76.95, 0102 computer and information sciences, Computational Complexity (cs.CC), 0101 mathematics, 01 natural sciences, Mathematics, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1309.5128
http://arxiv.org/abs/1309.5128
https://doaj.org/article/9396d0ac1b2c4fc4ab714e2f508ce301
https://arxiv.org/pdf/1309.5128
https://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#Jones13
https://arxiv.org/abs/1309.5128v1
http://ui.adsabs.harvard.edu/abs/2013arXiv1309.5128J/abstract
https://arxiv.org/pdf/1309.5128
https://arxiv.org/abs/1309.5128v1
https://curis.ku.dk/ws/files/169141004/1309.5128v1.pdf

Notes on overt choice.

Autoři: Hoyrup, Mathieu

Zdroj: Computability; 2023, Vol. 12 Issue 4, p351-369, 19p

Témata: NATURAL numbers, TOPOLOGICAL spaces, TOPOLOGICAL property, TOPOLOGY, BOREL sets

People: BRECHT, Bertolt, 1898-1956

A Classification of Viruses through Recursion Theorems

Autoři: Bonfante, Guillaume Kaczmarek, Matthieu Marion, Jean-Yves a další

Přispěvatelé: Bonfante, Guillaume Kaczmarek, Matthieu Marion, Jean-Yves a další

Zdroj: Computability in Europe ; https://inria.hal.science/inria-00175301 ; Computability in Europe, Jun 2007, Sienna, Italy. pp.73-82, ⟨10.1007/978-3-540-73001-9_8⟩

Témata: Computer viruses, polymorphism, propagation, recursion theorem, iteration theorem, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Sienna, Italy

Dostupnost: https://inria.hal.science/inria-00175301
https://inria.hal.science/inria-00175301v1/document
https://inria.hal.science/inria-00175301v1/file/bonfante.a_classification_of_computer_viruses_through_recursion_theorems.pdf
https://doi.org/10.1007/978-3-540-73001-9_8

A classification of viruses through recursion theorems

Autoři: Guillaume Bonfante Matthieu Kaczmarek Jean-yves Marion a další

Přispěvatelé: Guillaume Bonfante Matthieu Kaczmarek Jean-yves Marion a další

Zdroj: http://www.loria.fr/~marionjy/Research/Publications/Articles/CIE07.pdf.

Témata: polymorphism, propagation, recursion theorem, iteration

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.236; http://www.loria.fr/~marionjy/Research/Publications/Articles/CIE07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.236
http://www.loria.fr/~marionjy/Research/Publications/Articles/CIE07.pdf