Konstantine Arkoudas

From MaRDI portal
Person:851138

Available identifiers

zbMath Open arkoudas.konstantineMaRDI QIDQ851138

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q53649392017-09-29Paper
Vivid: a framework for heterogeneous problem solving2009-12-21Paper
Computation, hypercomputation, and physical science2008-12-11Paper
Simplifying proofs in Fitch-style natural deduction systems2006-11-17Paper
Automated Technology for Verification and Analysis2006-10-25Paper
On the provability, veracity, and AI-relevance of the Church-Turing thesis2006-10-16Paper
Relational and Kleene-Algebraic Methods in Computer Science2005-12-23Paper
Computational Logic in Multi-Agent Systems2005-11-23Paper
The modal argument for hypercomputing minds2004-08-04Paper

Research outcomes over time

This page was built for person: Konstantine Arkoudas

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:851138&oldid=7401345"
Powered by MediaWiki