Search by property

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

• NIPS 1989  + (November 27, 1989)
• EWSL 1989  + (December 4, 1989)
• PODS 1990  + (February 4, 1990)
• CHI 1990  + (April 1, 1990)
• LICS 1990  + (April 6, 1990)
• ICCV 1990  + (April 12, 1990)
• ESOP 1990  + (May 15, 1990)
• EuroCrypt 1990  + (May 21, 1990)
• COLT 1990  + (June 8, 1990)
• CAV 1990  + (June 18, 1990)
• PLDI 1990  + (June 20, 1990)
• ICML 1990  + (June 21, 1990)
• FOGA 1990  + (July 15, 1990)
• CADE1990  + (July 24, 1990)
• AAAI 1990  + (July 29, 1990)
• VLDB 1990  + (August 13, 1990)
• ISSAC 1990  + (August 20, 1990)
• PODC 1990  + (August 22, 1990)
• DEXA 1990  + (August 29, 1990)
• CSL 1990  + (October 1, 1990)
• OOPSLA 1990  + (October 21, 1990)
• FOCS 1990  + (October 22, 1990)
• CC 1990  + (October 22, 1990)
• ICS 1990  + (November 6, 1990)
• NIPS 1990  + (November 26, 1990)

• FOCS 1991  + (January 10, 1991)
• POPL 1991  + (January 21, 1991)
• NIPS 1991  + (February 12, 1991)
• EWSL 1991  + (March 6, 1991)
• KR 1991  + (April 22, 1991)
• CHI 1991  + (April 28, 1991)
• COLT 1991  + (May 8, 1991)
• PODS 1991  + (May 29, 1991)
• OOPSLA 1991  + (June 10, 1991)
• AIME 1991  + (June 24, 1991)
• PLDI 1991  + (June 26, 1991)
• CAV 1991  + (July 1, 1991)
• AAAI 1991  + (July 14, 1991)
• LICS 1991  + (July 15, 1991)
• ISSAC 1991  + (July 15, 1991)
• ICS 1991  + (July 17, 1991)
• EuroCrypt 1991  + (August 4, 1991)
• PODC 1991  + (August 19, 1991)
• VLDB 1991  + (September 3, 1991)
• FCT 1991  + (September 9, 1991)
• CSL 1991  + (October 7, 1991)
• ESEC 1991  + (October 21, 1991)
• POPL 1992  + (January 19, 1992)
• PODS 1992  + (February 6, 1992)
• ESOP 1992  + (February 26, 1992)