|
Conferences in DBLP
[Citations per Year][Position Graph]International Conference on Theorem Proving in Higher Order Logics- International Conference on Theorem Proving in Higher Order Logics, 1991 (conf/tphol/1991) (39 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1992 (conf/tphol/1992) (36 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1993 (conf/tphol/1993) (40 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1994 (conf/tphol/1994) (30 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1995 (conf/tphol/1995) (26 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1996 (conf/tphol/1996) (28 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1997 (conf/tphol/1997) (22 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1998 (conf/tphol/1998) (28 publications)
- International Conference on Theorem Proving in Higher Order Logics, 1999 (conf/tphol/1999) (23 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2000 (conf/tphol/2000) (33 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2001 (conf/tphol/2001) (26 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2002 (conf/tphol/2002) (22 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2003 (conf/tphol/2003) (23 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2004 (conf/tphol/2004) (23 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2005 (conf/tphol/2005) (26 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2006 (conf/tphol/2006provers) (19 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2007 (conf/tphol/2007) (28 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2008 (conf/tphol/2008) (25 publications)
- International Conference on Theorem Proving in Higher Order Logics, 2009 (conf/tphol/2009) (34 publications)
|