| |
Electronic Notes in Theoretical Computer Science, Vol. 196 (22 January 2008), pp. 113-128.
|
| |
Theorem Proving in Higher Order Logics (2005), pp. 50-65.
|
| |
Automated Reasoning (2008), pp. 320-326.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 613-673.
|
| |
Types for Proofs and Programs (2004), pp. 355-377.
|
| |
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on In Proceedings of LICS '09, Vol. 0 (04 August 2009), pp. 101-110.
|
| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 37-46.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 1-12.
|
| |
J Logic Computation, Vol. 15, No. 6. (1 December 2005), pp. 1041-1058.
|
| |
Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 19-75.
|
| |
Theorem Proving in Higher Order Logics (2004), pp. 18-33.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 4 (January 1996), pp. 190-225.
|
| |
Theoretical Computer Science, Vol. 373, No. 3. (5 April 2007), pp. 213-237.
|
| |
In FDPE '08: Proceedings of the 2008 international workshop on Functional and declarative programming in education (2008), pp. 31-40.
|
| |
Computational Methods in Systems Biology (2003), pp. 149-162.
|
| |
|
| |
APMIS Suppl, No. 117. (2004), pp. 1-210.
|
| |
Biosens Bioelectron, Vol. 20, No. 12. (15 June 2005), pp. 2404-2407.
|
| |
In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321.
|
| |
Journal of Intellectual Property Law Practice, Vol. 4, No. 5. (1 May 2009), 301.
|
| |
BMC Cancer, Vol. 4, No. 1. (2004), 10.
|
| |
Science, Vol. 324, No. 5923. (3 April 2009), pp. 85-89.
by Ross D. King, Jem Rowland, Stephen G. Oliver, et al.Michael Young, Wayne Aubrey, Emma Byrne, Maria Liakata, Magdalena Markham, Pinar Pir, Larisa N. Soldatova, Andrew Sparkes, Kenneth E. Whelan, Amanda Clare
|
| |
Information and Software Technology, Vol. 47, No. 14. (November 2005), pp. 891-902.
|
| |
Journal of biomedical informatics (4 May 2008)
|
| |
In EDOC '01: Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing (2001), 59.
|
| |
Cell, Vol. 134, No. 1. (11 July 2008), pp. 9-13.
|
| |
|
| |
|
| |
Foundations of Intelligent Systems (2006), pp. 514-523.
|
| |
In UAI '00: Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence (2000), pp. 371-379.
|
| |
|
| |
|
| |
Automata, Languages and Programming (1996), pp. 158-169.
|
| |
Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
|
| |
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
|
| |
|
| |
|
| |
|
| |
In ACL-22: Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics (1984), pp. 398-401.
|
| |
Artificial Intelligence, Vol. 65, No. 1. (1994), pp. 29-70.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 174, No. 6. (June 2007), pp. 135-148.
|
| |
In ICALP '96: Proceedings of the 23rd International Colloquium on Automata, Languages and Programming (1996), pp. 158-169.
|
| |
|
| |
Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
|
| |
J. ACM, Vol. 40, No. 1. (January 1993), pp. 143-184.
|
| |
ACM Trans. Comput. Logic, Vol. 6, No. 1. (January 2005), pp. 61-101.
|
Search
