William M Farmer

William M Farmer

McMaster University - Hamilton / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 649991
person_outline William M Farmer's MOST POPULAR ARTICLES
1-) Security for mobile agents: Authentication and state appraisal Computer Security—ESORICS 96: 4th European Symposium on Research in …, 1996
2-) Security for mobile agents: Issues and requirements Proceedings of the 19th national information systems security conference 2 …, 1996
3-) IMPS: An interactive mathematical proof system Journal of Automated Reasoning 11, 213-248, 1993
4-) Little theories Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992
5-) A partial functions version of Church's simple theory of types The Journal of Symbolic Logic 55 (3), 1269-1291, 1990