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
- CC 1990 + (October 26, 1990)
 - NIPS 1990 + (November 29, 1990)
 - DEXA 1991 + (1991)
 - POPL 1991 + (January 23, 1991)
 - EWSL 1991 + (March 8, 1991)
 - FOCS 1991 + (April 10, 1991)
 - KR 1991 + (April 25, 1991)
 - CHI 1991 + (May 5, 1991)
 - NIPS 1991 + (May 12, 1991)
 - PODS 1991 + (May 31, 1991)
 - AIME 1991 + (June 27, 1991)
 - PLDI 1991 + (June 28, 1991)
 - CAV 1991 + (July 4, 1991)
 - COLT 1991 + (July 8, 1991)
 - ISSAC 1991 + (July 17, 1991)
 - LICS 1991 + (July 18, 1991)
 - AAAI 1991 + (July 19, 1991)
 - ICS 1991 + (July 21, 1991)
 - PODC 1991 + (August 21, 1991)
 - VLDB 1991 + (September 6, 1991)
 - FCT 1991 + (September 13, 1991)
 - CSL 1991 + (October 11, 1991)
 - ESEC 1991 + (October 24, 1991)
 - EuroCrypt 1991 + (November 4, 1991)
 - OOPSLA 1991 + (November 10, 1991)
 
- POPL 1992 + (January 22, 1992)
 - ESOP 1992 + (February 28, 1992)
 - SAC 1992 + (March 3, 1992)
 - NIPS 1992 + (March 12, 1992)
 - PODS 1992 + (April 6, 1992)
 - CHI 1992 + (May 7, 1992)
 - EKAW 1992 + (May 22, 1992)
 - EuroCrypt 1992 + (May 28, 1992)
 - ICML 1992 + (June 3, 1992)
 - CADE1992 + (June 18, 1992)
 - PLDI 1992 + (June 19, 1992)
 - LICS 1992 + (June 25, 1992)
 - CAV 1992 + (July 1, 1992)
 - AAAI 1992 + (July 16, 1992)
 - ICS 1992 + (July 24, 1992)
 - COLT 1992 + (July 29, 1992)
 - ISSAC 1992 + (July 29, 1992)
 - FOGA 1992 + (July 29, 1992)
 - ICPP 1992 + (August 21, 1992)
 - VLDB 1992 + (August 27, 1992)
 - CSL 1992 + (October 2, 1992)
 - CC 1992 + (October 7, 1992)
 - OOPSLA 1992 + (October 22, 1992)
 - FOCS 1992 + (October 27, 1992)
 - KR 1992 + (October 29, 1992)