Konstantine Arkoudas
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fundamental proof methods in computer science. A computer-based approach | 2017-09-29 | Paper |
| Vivid: a framework for heterogeneous problem solving Artificial Intelligence | 2009-12-21 | Paper |
| Computation, hypercomputation, and physical science Journal of Applied Logic | 2008-12-11 | Paper |
| Simplifying proofs in Fitch-style natural deduction systems Journal of Automated Reasoning | 2006-11-17 | Paper |
| Automated Technology for Verification and Analysis Lecture Notes in Computer Science | 2006-10-25 | Paper |
| On the provability, veracity, and AI-relevance of the Church-Turing thesis | 2006-10-16 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science Lecture Notes in Computer Science | 2005-12-23 | Paper |
| Computational Logic in Multi-Agent Systems Lecture Notes in Computer Science | 2005-11-23 | Paper |
| The modal argument for hypercomputing minds Theoretical Computer Science | 2004-08-04 | Paper |
Research outcomes over time
This page was built for person: Konstantine Arkoudas
