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
- SIGMOD 1993 + (May 26, 1993)
- ISSAC 1993 + (June 7, 1993)
- LICS 1993 + (June 19, 1993)
- PLDI 1993 + (June 23, 1993)
- ICML 1993 + (June 27, 1993)
- CAV 1993 + (June 28, 1993)
- AAAI 1993 + (July 11, 1993)
- ICS 1993 + (July 20, 1993)
- COLT 1993 + (July 26, 1993)
- PODC 1993 + (August 15, 1993)
- ICPP 1993 + (August 16, 1993)
- FCT 1993 + (August 23, 1993)
- VLDB 1993 + (August 24, 1993)
- TREC 1993 + (August 31, 1993)
- EKAW 1993 + (September 6, 1993)
- DEXA 1993 + (September 6, 1993)
- OOPSLA 1993 + (September 26, 1993)
- CIKM 1993 + (November 1, 1993)
- ICCV 1993 + (November 5, 1993)
- ER 1994 + (1994)
- ACMMM 1994 + (1994)
- NIPS 1994 + (1994)
- POPL 1994 + (January 17, 1994)
- EDBT 1994 + (February 2, 1994)
- CCS 1994 + (February 11, 1994)
- DMS 1994 + (February 26, 1994)
- SAC 1994 + (March 6, 1994)
- ECML 1994 + (April 6, 1994)
- LICS 1994 + (April 7, 1994)
- CHI 1994 + (April 24, 1994)
- SIGMOD 1994 + (May 24, 1994)
- KR 1994 + (May 24, 1994)
- PODS 1994 + (May 24, 1994)
- PLDI 1994 + (June 20, 1994)
- CAV 1994 + (June 21, 1994)
- CADE1994 + (June 26, 1994)
- ICML 1994 + (July 10, 1994)
- ISSAC 1994 + (July 20, 1994)
- FOGA 1994 + (July 31, 1994)
- AAAI 1994 + (July 31, 1994)
- PODC 1994 + (August 14, 1994)
- ICPP 1994 + (August 15, 1994)
- EuroCrypt 1994 + (September 5, 1994)
- DEXA 1994 + (September 7, 1994)
- VLDB 1994 + (September 12, 1994)
- EKAW 1994 + (September 26, 1994)
- CSCW 1994 + (October 22, 1994)
- OOPSLA 1994 + (October 23, 1994)
- TREC 1994 + (November 2, 1994)
- ICS 1994 + (November 7, 1994)
- FOCS 1994 + (November 20, 1994)
- CIKM 1994 + (November 29, 1994)
- COLT 1994 + (December 7, 1994)
- SSTD 1995 + (1995)
- ACMMM 1995 + (1995)
- DIS 1995 + (1995)
- ICDT 1995 + (January 11, 1995)
- HPCA 1995 + (January 22, 1995)
- POPL 1995 + (January 22, 1995)
- SAC 1995 + (February 26, 1995)
- ICS 1995 + (March 7, 1995)
- BTU 1995 + (March 13, 1995)
- DMS 1995 + (March 31, 1995)
- INFOCOM 1995 + (April 2, 1995)
- ICSE 1995 + (April 23, 1995)
- ECML 1995 + (April 25, 1995)
- COLT 1995 + (May 7, 1995)
- EuroCrypt 1995 + (May 21, 1995)
- SIGMOD 1995 + (May 22, 1995)
- PODS 1995 + (May 22, 1995)
- CAV 1995 + (June 3, 1995)
- PLDI 1995 + (June 18, 1995)
- ICCV 1995 + (June 20, 1995)
- LICS 1995 + (June 26, 1995)
- CHI 1995 + (July 5, 1995)
- ICML 1995 + (July 9, 1995)
- ICPP 1995 + (August 14, 1995)
- PODC 1995 + (August 20, 1995)
- IJCAI-95 + (August 20, 1995)
- FCT 1995 + (August 22, 1995)
- CRYPTO 1995 + (August 27, 1995)
- DEXA 1995 + (September 4, 1995)
- VLDB 1995 + (September 11, 1995)
- FSE 1995 + (October 1995)
- ISSAC 1995 + (October 6, 1995)
- OOPSLA 1995 + (October 15, 1995)
- FOCS 1995 + (October 23, 1995)
- TREC 1995 + (November 1, 1995)
- MUC-6 + (November 1995)
- MobiCom 1995 + (November 13, 1995)
- NIPS 1995 + (November 27, 1995)
- CIKM 1995 + (November 29, 1995)
- ACMMM 1996 + (1996)
- POPL 1996 + (January 21, 1996)
- NIPS 1996 + (February 12, 1996)
- SAC 1996 + (February 17, 1996)
- HPCA 1996 + (March 2, 1996)
- PODS 1996 + (March 6, 1996)
- FOGA 1996 + (March 8, 1996)
- CRYPTO 1996 + (March 11, 1996)