Alasdair Urquhart
Affiliations:- University of Toronto, Canada
According to our database1,
Alasdair Urquhart
authored at least 58 papers
between 1972 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
1975
1980
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
1
1
1
1
2
1
1
2
2
3
3
1
2
1
1
2
1
2
3
2
2
2
2
1
1
1
3
1
1
1
1
1
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on andrej.com
-
on isni.org
On csauthors.net:
Bibliography
2017
2016
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378.
Bull. Symb. Log., 2016
2013
J. Symb. Log., 2013
2012
2011
2010
2009
J. Satisf. Boolean Model. Comput., 2009
Electron. Colloquium Comput. Complex., 2009
2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
Electron. Colloquium Comput. Complex., 2006
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
2005
Log. J. IGPL, 2005
Proceedings of the Relational Methods in Computer Science, 2005
2004
2003
2001
Electron. Colloquium Comput. Complex., 2001
The Complexity of Propositional Proofs.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
1999
1997
1996
1995
1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
1993
Ann. Pure Appl. Log., 1993
1992
Ann. Math. Artif. Intell., 1992
1990
1989
Proceedings of the 21st Annual ACM Symposium on Theory of Computing, 1989
1988
1987
1984
1981
1974
1973
1972