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

• 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)
• PLDI 1991  + (June 26, 1991)
• CAV 1991  + (July 1, 1991)
• AAAI 1991  + (July 14, 1991)
• ISSAC 1991  + (July 15, 1991)
• LICS 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)
• SIGMOD 1992  + (1992)
• DEXA 1992  + (1992)
• POPL 1992  + (January 19, 1992)
• PODS 1992  + (February 6, 1992)
• SAC 1992  + (March 1, 1992)
• CHI 1992  + (March 5, 1992)
• EKAW 1992  + (May 18, 1992)

• EuroCrypt 1992  + (May 24, 1992)

• ICML 1992  + (June 1, 1992)
• CADE1992  + (June 15, 1992)
• PLDI 1992  + (June 17, 1992)
• LICS 1992  + (June 22, 1992)
• CAV 1992  + (June 29, 1992)
• AAAI 1992  + (July 12, 1992)
• ICS 1992  + (July 19, 1992)
• FOGA 1992  + (July 26, 1992)
• COLT 1992  + (July 27, 1992)
• ISSAC 1992  + (July 27, 1992)
• ICPP 1992  + (August 17, 1992)
• VLDB 1992  + (August 23, 1992)
• PODC 1992  + (October 8, 1992)
• OOPSLA 1992  + (October 18, 1992)
• FOCS 1992  + (October 24, 1992)
• KR 1992  + (October 25, 1992)
• TREC 1992  + (November 4, 1992)
• CIKM 1992  + (November 8, 1992)
• NIPS 1992  + (November 30, 1992)
• SSTD 1993  + (1993)
• ACMMM 1993  + (1993)
• NIPS 1993  + (1993)
• POPL 1993  + (1993)
• RE 1993  + (January 4, 1993)
• SAC 1993  + (February 14, 1993)