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

• CSL 1995  + (September 29, 1995)
• FSE 1995  + (October 13, 1995)
• OOPSLA 1995  + (October 19, 1995)
• FOCS 1995  + (October 25, 1995)
• TREC 1995  + (November 3, 1995)
• MUC-6  + (November 26, 1995)
• ISSAC 1995  + (December 6, 1995)
• WWW Fall 1995  + (December 14, 1995)
• POPL 1996  + (January 24, 1996)
• SAC 1996  + (February 19, 1996)
• CADE1996  + (March 8, 1996)
• CCS 1996  + (March 15, 1996)
• TACAS 1996  + (March 29, 1996)
• ICSE 1996  + (March 30, 1996)
• CHI 1996  + (April 18, 1996)
• ESOP 1996  + (April 24, 1996)
• CC 1996  + (April 26, 1996)
• PODS 1996  + (May 6, 1996)
• WWW 1996  + (May 10, 1996)
• NIPS 1996  + (May 12, 1996)
• EuroCrypt 1996  + (May 16, 1996)
• EKAW 1996  + (May 17, 1996)
• PLDI 1996  + (May 24, 1996)
• ICFP 1996  + (May 26, 1996)
• PODC 1996  + (May 26, 1996)

• ICS 1996  + (May 28, 1996)

• SIGMOD 1996  + (June 6, 1996)
• ISSAC 1996  + (June 7, 1996)
• ACISP 1996  + (June 26, 1996)
• DMS 1996  + (June 28, 1996)
• COLT 1996  + (July 1, 1996)
• HPCA 1996  + (July 2, 1996)
• ECIS 1996  + (July 4, 1996)
• ICML 1996  + (July 6, 1996)
• CRYPTO 1996  + (July 11, 1996)
• LICS 1996  + (July 30, 1996)
• CAV 1996  + (August 3, 1996)
• FOGA 1996  + (August 5, 1996)
• AAAI 1996  + (August 8, 1996)
• KR 1996  + (August 11, 1996)
• ICPP 1996  + (August 16, 1996)
• VLDB 1996  + (September 6, 1996)
• DEXA 1996  + (September 13, 1996)
• CSL 1996  + (September 27, 1996)
• OOPSLA 1996  + (October 10, 1996)
• FOCS 1996  + (October 16, 1996)
• FSE 1996  + (October 18, 1996)
• PAST 1996  + (October 18, 1996)
• OSDI 1996  + (October 31, 1996)
• TREC 1996  + (November 22, 1996)
• ICDT 1997  + (January 10, 1997)