| |
Theorem Proving in Higher Order Logics (2005), pp. 50-65.
|
| |
Journal of Functional Programming, Vol. 17, No. 4-5. (2007), pp. 613-673.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 1-12.
|
| |
Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 19-75.
|
| |
Theor. Comput. Sci., Vol. 266, No. 1-2. (2001), pp. 1-57.
|
| |
|
| |
Automated Deduction – CADE-19 (2003), pp. 106-120.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 174, No. 5. (June 2007), pp. 95-108.
|
| |
Theorem Proving in Higher Order Logics (2004), pp. 18-33.
|
| |
|
| |
Automated Deduction — CADE-16 In Automated Deduction --- CADE-16 (1999), pp. 202-206.
|
| |
Automata, Languages and Programming (2005), pp. 1214-1225.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 3-15.
|
| |
Psychological Inquiry, Vol. 19, No. 1. (2008), pp. 1-18.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 3-15.
|
| |
Sociological Theory, Vol. 6, No. 2. (1988), pp. 169-186.
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 240-240.
|
| |
In Proceedings of the Eighteenth International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005) (2005)
|
| |
|
| |
ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
|
| |
|
| |
Artificial Intelligence, Vol. 80, No. 1-2. (1996), pp. 197-241.
|
| |
|
| |
|
| |
In AI*{IA} (1991), pp. 48-57.
|
| |
|
| |
Synthese, Vol. 32, No. 1 - 2. (March 1975), pp. 77-112.
|
| |
Dev Psychopathol, Vol. 9, No. 2. (1997), pp. 193-199.
|
| |
|
| |
|
| |
|
Search
