Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Dusko Pavlovic |
Categorical Computability in Monoidal Computer: Programs as Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.03817, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yuri I. Manin, Matilde Marcolli |
Computability questions in the sphere packing problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.05119, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Adalbert Fono, Gitta Kutyniok |
Non-Computability of the Pseudoinverse on Digital Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.02940, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier |
Computability of Data-Word Transductions over Different Data Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Vasco Brattka, Noam Greenberg, Iskander Sh. Kalimullin, Mariya Ivanova Soskova |
Preface of the Special Issue for the Oberwolfach Workshop on Computability Theory 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 11(3-4), pp. 163, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | George Davie |
Computability of convergence rates in the ergodic theorem for Martin-Löf random points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 14, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Iosif Petrakis |
Strict computability models over categories and presheaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 32(8), pp. 1815-1838, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Matea Celar, Zvonko Iljazovic |
Computability of glued manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 32(1), pp. 65-97, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Rachel D. Stahl |
Computability and the game of cops and robbers on graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 61(3-4), pp. 373-397, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Uri Andrews, Peter M. Gerdes, Steffen Lempp, Joseph S. Miller, Noah David Schweber |
Computability and the Symmetric Difference Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 30(3), pp. 499-518, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
Distributed computability: Relating k-immediate snapshot and x-set agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 285(Part), pp. 104815, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Leake, Nisheeth K. Vishnoi |
On the Computability of Continuous Maximum Entropy Distributions with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 51(5), pp. 1451-1505, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | George Tourlakis |
Computability ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
14 | Damir D. Dzhafarov, Carl Mummert |
Reverse Mathematics - In cooperation with the association Computability in Europe ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
14 | Tomoyuki Yamakami |
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings, pp. 88-104, 2022, Springer, 978-3-031-15297-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid 0001 |
Continuous Tasks and the Asynchronous Computability Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 13th Innovations in Theoretical Computer Science Conference, ITCS 2022, January 31 - February 3, 2022, Berkeley, CA, USA., pp. 73:1-73:27, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-217-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Djamel Eddine Amir, Mathieu Hoyrup |
Computability of Finite Simplicial Complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., pp. 111:1-111:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-235-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Capacity-Achieving Input Distributions: Algorithmic Computability and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2022, Espoo, Finland, June 26 - July 1, 2022, pp. 2774-2779, 2022, IEEE, 978-1-6654-2159-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Channel Reliability Function and Related Bounds1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2022, Espoo, Finland, June 26 - July 1, 2022, pp. 1530-1535, 2022, IEEE, 978-1-6654-2159-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Richard Blumenthal 0001 |
Teach More, Not Less Computability Theory in CS202X: A Case for Teaching Multiple Representations of the Church-Turing Thesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (1) ![In: SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, Providence, RI, USA, March 3-5, 2022, Volume 1, pp. 675-681, 2022, ACM, 978-1-4503-9070-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Lewis Tseng, Qinzi Zhang |
Brief Announcement: Computability and Anonymous Storage-Efficient Consensus with an Abstract MAC Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022, pp. 265-267, 2022, ACM, 978-1-4503-9262-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Iosif Petrakis |
Computability Models over Categories and Presheaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, pp. 253-265, 2022, Springer, 978-3-030-93099-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yannick Forster 0002 |
Parametric Church's Thesis: Synthetic Computability Without Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, pp. 70-89, 2022, Springer, 978-3-030-93099-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach |
A Computability Perspective on (Verified) Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 63-80, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Sterling |
First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
14 | Sajad Saeedinaeeni |
Universal Codes for Broadcast Systems with Physical Layer Security and Their Algorithmic Computability in Quantum Information Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Karen Seidel 0001 |
Modelling binary classification with computability theory (Binäre Klassifikation modellieren mit Berechenbarkeitstheorie) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Jetze Zoethout |
Computability Models and Realizability Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Ethan Brauer |
The dependence of computability on numerical notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(11), pp. 10485-10511, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Joost Engelfriet |
Computability by monadic second-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 167, pp. 106074, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Ruichuan Zhang, Nora M. El-Gohary |
Clustering-Based Approach for Building Code Computability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Civ. Eng. ![In: J. Comput. Civ. Eng. 35(6), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Justin Miller |
Intrinsic density, asymptotic computability, and stochasticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 27(2), pp. 220, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Zvi Retchkiman Königsberg |
Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computación y Sistemas ![In: Computación y Sistemas 25(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Alfonseca 0001, Manuel Cebrián, Antonio Fernández Anta, Lorenzo Coviello, Andrés Abeliuk, Iyad Rahwan |
Superintelligence Cannot be Contained: Lessons from Computability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 70, pp. 65-76, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Matea Celar, Zvonko Iljazovic |
Computability of Products of Chainable Continua. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 65(2), pp. 410-427, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Ullrich J. Mönich |
Algorithmic Computability of the Signal Bandwidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 67(4), pp. 2450-2471, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Channel Reliability Function and Related Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.09754, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Takayuki Kihara |
Lawvere-Tierney topologies for computability theorists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.03061, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach |
A Computability Perspective on (Verified) Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.06585, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier |
Computability of Data-Word Transductions over Different Data Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.07038, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Keehang Kwon |
Computability-logic web: an alternative to deep learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.09222, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Elija Perrier |
Computability, Complexity, Consistency and Controllability: A Four C's Framework for cross-disciplinary Ethical Algorithm Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.04234, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Airin Antony |
Resource dependent undecidability: computability landscape of distinct Turing theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.13345, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Vladimir V. V'yugin |
Degrees of randomized computability: decomposition into atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.04410, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Robert Cardona, Eva Miranda, Daniel Peralta-Salas |
Computability and Beltrami fields in Euclidean space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03559, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Simon Becker, Jonathan Sewell, Euan Tebbutt |
Computability of magnetic Schrödinger and Hartree equations on unbounded domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.02186, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Daniel Silva Graça, Ning Zhong 0002 |
Robustness of non-computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.15080, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Yannick Forster 0002 |
Parametric Church's Thesis: Synthetic Computability without Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.11781, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Antonis Achilleos, Mathias Ruggaard Pedersen |
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14266, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Konrad Burnik, Zvonko Iljazovic |
Dense computability structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 65, pp. 101543, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Noam Greenberg, Matthew Harrison-Trainor, Alexander G. Melnikov, Dan Turetsky |
Non-density in punctual computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(9), pp. 102985, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Erick Galinkin |
Review of The Foundations of Computability Theory (Second Edition) by Borut Robič. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 52(2), pp. 7-9, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Michel Raynal |
Distributed Computability: A Few Results Masters Students Should Know. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 52(2), pp. 92-110, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Dan Alistarh |
Distributed Computing Column 82 Distributed Computability: A Few Results Masters Students Should Know. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 52(2), pp. 91, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Peter Pagin |
Compositionality, Computability, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 14(3), pp. 551-591, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann, Sam Sanders |
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(1), pp. 297-325, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Diogo Poças, Jeffery I. Zucker |
Tracking computability of GPAC-generable functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(1), pp. 326-346, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Aleksander Ivanov |
Sofic profiles of S(ømega ) and computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 60(3-4), pp. 477-494, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Éric Goubault, Jérémy Ledent, Sergio Rajsbaum |
A simplicial complex model for dynamic epistemic logic to study distributed task computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 278, pp. 104597, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Pascucci, Giovanni Sileno |
Computability of Diagrammatic Theories for Normative Positions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8-10 December 2021, pp. 171-180, 2021, IOS Press, 978-1-64368-252-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Antonis Achilleos, Mathias Ruggaard Pedersen |
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Rupak Majumdar, Sadegh Soudjani |
The computability of LQR and LQG control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 5:1-5:7, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Zero-Error Capacity of Noisy Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITW ![In: IEEE Information Theory Workshop, ITW 2021, Kanazawa, Japan, October 17-21, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-0312-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Ganesh Gopalakrishnan, Rick Neff |
Automata and Computability Education via Jove. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, Virtual Event, USA, March 13-20, 2021, pp. 1374, 2021, ACM, 978-1-4503-8062-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Rucha Kulkarni, Ruta Mehta, Setareh Taki |
Indivisible Mixed Manna: On the Computability of MMS+PO Allocations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: EC '21: The 22nd ACM Conference on Economics and Computation, Budapest, Hungary, July 18-23, 2021, pp. 683-684, 2021, ACM, 978-1-4503-8554-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Yuan He 0003 |
Topological Characterization of Distributed Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
14 | Yannick Forster 0002 |
Computability in constructive type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
14 | Tomoyuki Yamakami |
A Schematic Definition of quantum Polynomial Time Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(4), pp. 1546-1587, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Harrison-Trainor, Alexander G. Melnikov, Keng Meng Ng |
Computability of Polish Spaces up to Homeomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(4), pp. 1664-1686, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Arman Darbinyan |
Computability, Orders, and Solvable Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(4), pp. 1588-1598, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Shannon meets Turing: Non-computability and non-approximability of the finite state channel capacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Inf. Syst. ![In: Commun. Inf. Syst. 20(2), pp. 81-116, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Giorgi Japaridze |
Fundamentals of Computability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 7(6), pp. 1115-1176, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Sebastiaan A. Terwijn |
Computability in Partial Combinatory Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 26(3-4), pp. 224-240, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | |
WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22-23, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 26(3-4), pp. 311, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Zvonko Iljazovic |
Computability of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 66(1), pp. 51-64, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Zvi Retchkiman Königsberg |
Axiomatization, Computability and Stability for Discrete Event Time Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computación y Sistemas ![In: Computación y Sistemas 24(4), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Rodney G. Downey, Matthew Harrison-Trainor, Iskander Sh. Kalimullin, Alexander G. Melnikov, Daniel Turetsky |
Graphs are not universal for online computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 112, pp. 1-12, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Identification Capacity of Channels With Feedback: Discontinuity Behavior, Super-Activation, and Turing Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 66(10), pp. 6184-6199, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Zero-Error capacity with Kolmogorov Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.11442, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Keehang Kwon |
Implementing Agent-Based Systems via Computability Logic CL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.08925, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | |
Turing analogues of Gödel statements and computability of intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.07592, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Jonathan Leake, Nisheeth K. Vishnoi |
On the Computability of Continuous Maximum Entropy Distributions: Adjoint Orbits of Lie Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.01851, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Petr Kuznetsov, Thibault Rieutord, Yuan He 0003 |
An Asynchronous Computability Theorem for Fair Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.08348, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Fedor Manin |
Rational homotopy type and computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.10632, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Joost Engelfriet |
Computability by Monadic Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.12151, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Shannon Meets Turing: Non-Computability and Non-Approximability of the Finite State Channel Capacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.13270, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Mee Seong Im, Venkat R. Dasari |
Genetic optimization algorithms applied toward mission computability models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.13105, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Margarita V. Korovina, Oleg V. Kudinov |
On the computability of ordered fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.14801, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Zero-Error Capacity of Noisy Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.06873, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Frédéric Prost |
The Epistemic Landscape: a Computability Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.10800, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Jonathan Leake, Nisheeth K. Vishnoi |
On the computability of continuous maximum entropy distributions with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.07403, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Reda Marzouk |
On Computability, Learnability and Extractability of Finite State Machines from Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.06398, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
On Computability of Data Word Functions Defined by Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.08203, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Ullrich J. Mönich |
Turing Computability of Fourier Transforms of Bandlimited and Discrete Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 68, pp. 532-547, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann, Sam Sanders |
Pincherle's theorem in reverse mathematics and computability theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(5), pp. 102788, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Marko Horvat, Zvonko Iljazovic, Bojan Pazek |
Computability of pseudo-cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(8), pp. 102823, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jun Le Goh |
Embeddings between well-orderings: Computability-theoretic reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(6), pp. 102789, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Lane A. Hemaspaandra |
SIGACT News Complexity Theory Column 106: Teaching Models, Computability, and Complexity in Time of COVID-19. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 51(3), pp. 55-58, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann, Sam Sanders |
Open sets in computability theory and reverse mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 30(8), pp. 1639-1679, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
An introduction to feedback Turing computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 30(1), pp. 27-60, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|