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

• FOCS 1989  + (January 11, 1989)
• POPL 1989  + (January 13, 1989)
• COLT 1989  + (February 8, 1989)
• PODS 1989  + (March 31, 1989)
• CHI 1989  + (April 5, 1989)
• EuroCrypt 1989  + (April 13, 1989)
• KR 1989  + (May 18, 1989)
• OOPSLA 1989  + (June 10, 1989)
• CAV 1989  + (June 14, 1989)
• PLDI 1989  + (June 23, 1989)
• ICML 1989  + (June 27, 1989)
• LICS 1989  + (August 6, 1989)
• PODC 1989  + (August 16, 1989)
• ISSAC 1989  + (August 19, 1989)
• VLDB 1989  + (August 25, 1989)
• FCT 1989  + (August 25, 1989)
• ICS 1989  + (September 6, 1989)
• NIPS 1989  + (November 30, 1989)
• EWSL 1989  + (December 6, 1989)
• PODS 1990  + (April 4, 1990)
• CHI 1990  + (April 5, 1990)
• EuroCrypt 1990  + (May 24, 1990)
• ICS 1990  + (June 15, 1990)
• CAV 1990  + (June 21, 1990)
• PLDI 1990  + (June 22, 1990)

• ICML 1990  + (June 23, 1990)

• LICS 1990  + (July 6, 1990)
• ICCV 1990  + (July 12, 1990)
• FOGA 1990  + (July 18, 1990)
• CADE1990  + (July 27, 1990)
• AAAI 1990  + (August 3, 1990)
• COLT 1990  + (August 8, 1990)
• VLDB 1990  + (August 16, 1990)
• ISSAC 1990  + (August 24, 1990)
• PODC 1990  + (August 24, 1990)
• DEXA 1990  + (August 31, 1990)
• FOCS 1990  + (October 24, 1990)
• OOPSLA 1990  + (October 25, 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)
• PLDI 1991  + (June 28, 1991)
• CAV 1991  + (July 4, 1991)
• COLT 1991  + (July 8, 1991)
• ISSAC 1991  + (July 17, 1991)