Diane Proudfoot

From MaRDI portal
(Redirected from Person:1293031)



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!

PublicationDate of PublicationType
Correction to: ``On Alan Turing's anticipation of connectionism''
Synthese
2026-03-27Paper
Sylvan's bottle and other problems
The Australasian Journal of Logic
2019-03-19Paper
Possible worlds semantics and fiction
Journal of Philosophical Logic
2006-08-14Paper
scientific article; zbMATH DE number 2149465 (Why is no real title available?)2005-03-30Paper
What Turing did after he invented the universal Turing machine
Journal of Logic, Language and Information
2001-05-01Paper
On Alan Turing's anticipation of connectionism
Synthese
2000-03-26Paper


Research outcomes over time


This page was built for person: Diane Proudfoot