Search by property
		
		
		
		
		
		Jump to navigation
		Jump to search
		
		
	
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- CAV 1996 + (July 31, 1996)
 - FOGA 1996 + (August 3, 1996)
 - AAAI 1996 + (August 4, 1996)
 - VLDB 1996 + (September 3, 1996)
 - DEXA 1996 + (September 9, 1996)
 - CSL 1996 + (September 21, 1996)
 - FOCS 1996 + (October 14, 1996)
 - PAST 1996 + (October 15, 1996)
 - FSE 1996 + (October 16, 1996)
 - OSDI 1996 + (October 28, 1996)
 - TREC 1996 + (November 20, 1996)
 - EuroCrypt 1996 + (December 5, 1996)
 - ICPP 1996 + (December 8, 1996)
 - HPCA 1997 + (January 2, 1997)
 - ICDT 1997 + (January 8, 1997)
 - ECDL 1997 + (January 9, 1997)
 - POPL 1997 + (January 15, 1997)
 - SAC 1997 + (February 28, 1997)
 - AUdS 1997 + (March 3, 1997)
 - BTU 1997 + (March 11, 1997)
 - CHI 1997 + (March 22, 1997)
 - AIME 1997 + (March 23, 1997)
 - TACAS 1997 + (April 2, 1997)
 - WWW 1997 + (April 7, 1997)
 - ECML 1997 + (April 23, 1997)
 
- OOPSLA 1997 + (May 10, 1997)
 
- SIGMOD 1997 + (May 13, 1997)
 - ICSE 1997 + (May 17, 1997)
 - COLT 1997 + (June 7, 1997)
 - PLDI 1997 + (June 15, 1997)
 - ECIS 1997 + (June 19, 1997)
 - CAV 1997 + (June 22, 1997)
 - PKDD 1997 + (June 24, 1997)
 - LICS 1997 + (June 29, 1997)
 - ICS 1997 + (July 7, 1997)
 - ICML 1997 + (July 8, 1997)
 - CADE1997 + (July 13, 1997)
 - ISSAC 1997 + (July 21, 1997)
 - DMS 1997 + (July 23, 1997)
 - AAAI 1997 + (July 27, 1997)
 - CRYPTO 1997 + (August 17, 1997)
 - PODC 1997 + (August 21, 1997)
 - IJCAI-97 + (August 23, 1997)
 - CSL 1997 + (August 23, 1997)
 - VLDB 1997 + (August 25, 1997)
 - DEXA 1997 + (September 1, 1997)
 - FCT 1997 + (September 1, 1997)
 - ICFP 1997 + (September 6, 1997)
 - ICIAP 1997 + (September 17, 1997)
 - FSE 1997 + (September 22, 1997)
 - ESEC 1997 + (September 22, 1997)