Peter Fletcher

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 2

Top Topics

Sequent Calculi

Proof Theoretic

Top Venues

J. Philos. Log.

Publications

Peter Fletcher
Brouwer's Weak Counterexamples and the Creative Subject: A Critical Survey. J. Philos. Log. 49 (6) (2020)
Peter Fletcher
Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics, Springer, 2018 - Logic, Epistemology, and the Unity of Science, vol. 42. Stud Logica 107 (4) (2019)
Ahmad Ryad Soobhany, K. P. Lam, Peter Fletcher, David Collins
Source identification of camera phones using SVD. ICIP (2013)
K. P. Lam, Peter Fletcher
Concurrent grammar inference machines for 2-D pattern recognition: a comparison with the level set approach. Image Processing: Algorithms and Systems (2009)
Peter Fletcher
The foundations of connectionist computation. Connect. Sci. 12 (2) (2000)
Peter Fletcher
Readers' corner: The role of experiments in computer science. J. Syst. Softw. 30 (1-2) (1995)
Peter Fletcher
Nonstandard Set Theory. J. Symb. Log. 54 (3) (1989)