Effective logic computation, Klaus truemper
Journal of Logic, Language and Information 8 (4):481-484 (1999)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrances Egan (1995). Computation and Content. Philosophical Review 104 (2):181-203.
Nir Fresco (forthcoming). Explaining Computation Without Semantics: Keeping It Simple. Minds and Machines.
Stewart Shapiro (1995). Reasoning, Logic and Computation. Philosophia Mathematica 3 (1):31-51.
B. Maclennan (2003). Transcending Turing Computability. Minds and Machines 13 (1):3-22.
Arnon Avron & Beata Konikowska (2009). Proof Systems for Reasoning About Computation Errors. Studia Logica 91 (2):273 - 293.
M. Reynolds (2001). An Axiomatization of Full Computation Tree Logic. Journal of Symbolic Logic 66 (3):1011-1057.
Tim Button (2009). Hyperloops Do Not Threaten the Notion of an Effective Procedure. Lecture Notes in Computer Science 5635:68-78.
Oron Shagrir (2002). Effective Computation by Humans and Machines. Minds and Machines 12 (2):221-240.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
