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
- SIGMOD 1994 + (May 24, 1994)
 - KR 1994 + (May 24, 1994)
 - PLDI 1994 + (June 20, 1994)
 - CAV 1994 + (June 21, 1994)
 - CADE1994 + (June 26, 1994)
 - ICML 1994 + (July 10, 1994)
 - ISSAC 1994 + (July 20, 1994)
 - AAAI 1994 + (July 31, 1994)
 - FOGA 1994 + (July 31, 1994)
 - PODC 1994 + (August 14, 1994)
 - ICPP 1994 + (August 15, 1994)
 - EuroCrypt 1994 + (September 5, 1994)
 - DEXA 1994 + (September 7, 1994)
 - VLDB 1994 + (September 12, 1994)
 - CSL 1994 + (September 25, 1994)
 - EKAW 1994 + (September 26, 1994)
 - WWW Fall 1994 + (October 17, 1994)
 - CSCW 1994 + (October 22, 1994)
 - OOPSLA 1994 + (October 23, 1994)
 - TREC 1994 + (November 2, 1994)
 - ICS 1994 + (November 7, 1994)
 - OSDI 1994 + (November 14, 1994)
 - FOCS 1994 + (November 20, 1994)
 - FSE 1994 + (December 6, 1994)
 - COLT 1994 + (December 7, 1994)
 
- ICDT 1995 + (January 11, 1995)
 - HPCA 1995 + (January 22, 1995)
 - POPL 1995 + (January 22, 1995)
 - SAC 1995 + (February 26, 1995)
 - ICS 1995 + (March 7, 1995)
 - BTU 1995 + (March 13, 1995)
 - DMS 1995 + (March 31, 1995)
 - ICSE 1995 + (April 23, 1995)
 - ECML 1995 + (April 25, 1995)
 - COLT 1995 + (May 7, 1995)
 - CHI 1995 + (May 7, 1995)
 - TACAS 1995 + (May 19, 1995)
 - EuroCrypt 1995 + (May 21, 1995)
 - PODS 1995 + (May 22, 1995)
 - SIGMOD 1995 + (May 22, 1995)
 - ECIS 1995 + (June 1, 1995)
 - CAV 1995 + (June 3, 1995)
 - PLDI 1995 + (June 18, 1995)
 - ICCV 1995 + (June 20, 1995)
 - AIME 1995 + (June 25, 1995)
 - LICS 1995 + (June 26, 1995)
 - ICML 1995 + (July 9, 1995)
 - ICPP 1995 + (August 14, 1995)
 - IJCAI-95 + (August 20, 1995)
 - PODC 1995 + (August 20, 1995)