# William M. Farmer

Affiliations:- McMaster University, Hamilton, Ontario, Canada

According to our database

Collaborative distances:

^{1}, William M. Farmer authored at least 57 papers between 1988 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2020

CoRR, 2020

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019

CoRR, 2019

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018

Inf. Comput., 2018

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Proceedings of the Mathematical Software - ICMS 2018, 2018

2017

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016

Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics.

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2014

CoRR, 2014

CoRR, 2014

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

CoRR, 2013

CoRR, 2013

The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation.

Proceedings of the Intelligent Computer Mathematics, 2013

2011

Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011

CoRR, 2011

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2009

Electron. Notes Theor. Comput. Sci., 2009

Proceedings of the Intelligent Computer Mathematics, 2009

2008

J. Appl. Log., 2008

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

2005

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

2004

SIGSAM Bull., 2004

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Ann. Math. Artif. Intell., 2003

2001

J. Autom. Reason., 2001

2000

Stud Logica, 2000

Proceedings of the Automated Deduction, 2000

1999

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

1996

For a Massive Number of Massively Parallel Machines: What are the Target Applications, Who are the Target Users, and What New R&D is Needed to Hit the Target?

Proceedings of IPPS '96, 1996

Proceedings of the Computer Security, 1996

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

J. Symb. Comput., 1995

1994

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

J. Autom. Reason., 1993

Ann. Pure Appl. Log., 1993

Proceedings of the Higher-Order Algebra, 1993

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

Ann. Math. Artif. Intell., 1992

Proceedings of the Automated Deduction, 1992

Proceedings of the Automated Deduction, 1992

1991

Theor. Comput. Sci., 1991

Ann. Pure Appl. Log., 1991

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

ACM Trans. Program. Lang. Syst., 1990

J. Symb. Log., 1990

Int. J. Found. Comput. Sci., 1990

1989

SIGACT News, 1989

1988

Ann. Pure Appl. Log., 1988