-
1Academic Journal
Συγγραφείς: de Mol, Liesbeth, Matiyasevich, Yuri, Omodeo, Eugenio, Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine
Συνεισφορές: De Mol, Liesbeth, Matiyasevich, Yuri V, Omodeo, Eugenio, Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine J
Πηγή: Philosophia Mathematica. 33:425-450
Θεματικοί όροι: computability, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], history of computing, philosophy of computing, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, unsolvable problems, automated reasoning, [MATH] Mathematics [math], [INFO] Computer Science [cs], unsolvable problem, Logic in Computer Science (cs.LO)
Περιγραφή αρχείου: application/pdf
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08588
https://academic.oup.com/philmat/article/33/3/425/8286373
https://hdl.handle.net/11368/3118919 -
2Report
Συγγραφείς: Jakl, Tomáš
Θεματικοί όροι: Computer Science - Logic in Computer Science
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.20679
-
3Academic Journal
Συγγραφείς: Tomáš Jakl
Πηγή: Studia Logica.
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.20679
-
4Report
Συγγραφείς: Gonda, Tomáš, Reinhart, Tobias, Stengele, Sebastian, Coves, Gemma De les
Πηγή: Compositionality, Volume 6 (2024) (August 29, 2024) compositionality:14134
Θεματικοί όροι: Computer Science - Computational Complexity, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Mathematical Physics
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2307.06851
-
5Report
Συγγραφείς: Kfoury, Assaf
Θεματικοί όροι: Computer Science - Logic in Computer Science, 03B70, 68Q99, F.4.1, F.4.m, K.2
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1802.03292
-
6Report
Συγγραφείς: Basti, Gianfranco, Capolupo, Antonio, Vitiello, Giuseppe
Θεματικοί όροι: Quantum Physics, Computer Science - Logic in Computer Science, Mathematical Physics
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1701.00527
-
7Report
-
8Academic Journal
Συγγραφείς: ILYA SHAPIROVSKY, VLADISLAV SLIUSAREV
Πηγή: The Journal of Symbolic Logic. :1-27
Θεματικοί όροι: FOS: Computer and information sciences, 03B45, 03B62, 06E25, Computer Science - Logic in Computer Science, FOS: Mathematics, F.4.1, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2404.01670
-
9Academic Journal
Συγγραφείς: Halpern, Joseph Y., Harper, Robert, Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y., Vianu, Victor
Πηγή: The Bulletin of Symbolic Logic, 2001 Jun 01. 7(2), 213-236.
Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/2687775
-
10Report
Συγγραφείς: Kirchner, Daniel, Benzmüller, Christoph, Zalta, Edward N.
Πηγή: Open Philosophy, 2019
Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Mathematics - Logic, 03Axx, 03B15, 03B45, 03B60, 03B80, 68T15, 68T27, 68T30, F.4.0, F.4.1, I.2.3, I.2.4, J.5, I.1.3
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1905.00787
-
11Report
Συγγραφείς: Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost
Θεματικοί όροι: Computer Science - Computer Vision and Pattern Recognition, Computer Science - Logic in Computer Science
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.18172
-
12Academic Journal
Συγγραφείς: Tomás Gonda, Tobias Reinhart, Sebastian Stengele, Gemma De les Coves
Πηγή: Compositionality. 6
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), FOS: Physical sciences, Computer Science - Formal Languages and Automata Theory, Mathematical Physics (math-ph), Computational Complexity (cs.CC), Mathematical Physics, Logic in Computer Science (cs.LO)
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2307.06851
-
13Report
Συγγραφείς: Obua, Steven
Θεματικοί όροι: Computer Science - Logic in Computer Science
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2207.05610
-
14Report
Συγγραφείς: Cohen, Liron, Grunfeld, Ariel, Kirst, Dominik, Miquey, Étienne
Πηγή: Logic in Computer Science (LICS), Jun 2025, Singapour, Singapore
Θεματικοί όροι: Computer Science - Logic in Computer Science
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.09458
-
15Report
Συγγραφείς: Galatos, Nikolaos, Greati, Vitor, Ramanayake, Revantha, John, Gavin St.
Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Mathematics - Logic, 03B47, 03F52, 03G10, 06F05, 68Q25, 08B15, 03D20, 68Q17, F.4.1, F.2.2, F.1.3
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2504.21674
-
16Report
Συγγραφείς: Huang, Ruanqianqian, Monroe, Ayana, de Halleux, Peli, Lerner, Sorin, Bjørner, Nikolaj
Θεματικοί όροι: Computer Science - Human-Computer Interaction, Computer Science - Logic in Computer Science
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.08294
-
17Report
Συγγραφείς: Carvalho, Levi Cordeiro, Oliveira, Saulo A. F., Rocha, Thiago Alves
Πηγή: Intelligent Systems. BRACIS 2024. Lecture Notes in Computer Science, vol 15412
Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Machine Learning
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.20269
-
18Academic Journal
Συγγραφείς: Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost
Πηγή: ESANN 2025 proceesdings. :201-206
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, Logic in Computer Science (cs.LO)
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.18172
-
19Report
Συγγραφείς: Meng, Qiaolan, Pu, Juhua, Niu, Hongting, Wang, Yuyi, Wang, Yuanhong, Kuželka, Ondřej
Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.19648
-
20Academic Journal
Συγγραφείς: Yani Zhang, Helmut Bölcskei
Πηγή: IEEE Transactions on Signal Processing. 74:1-12
Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), deep neural networks, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: http://arxiv.org/abs/2401.12113