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
- PLDI 1992 + (June 19, 1992)
- LICS 1992 + (June 25, 1992)
- CAV 1992 + (July 1, 1992)
- CHI 1992 + (July 5, 1992)
- AAAI 1992 + (July 16, 1992)
- ICS 1992 + (July 24, 1992)
- COLT 1992 + (July 29, 1992)
- FOGA 1992 + (July 29, 1992)
- ISSAC 1992 + (July 29, 1992)
- ICPP 1992 + (August 21, 1992)
- VLDB 1992 + (August 27, 1992)
- OOPSLA 1992 + (October 22, 1992)
- FOCS 1992 + (October 27, 1992)
- KR 1992 + (October 29, 1992)
- TREC 1992 + (November 6, 1992)
- CIKM 1992 + (November 11, 1992)
- PODC 1992 + (December 8, 1992)
- RE 1993 + (January 6, 1993)
- OOPSLA 1993 + (January 10, 1993)
- SAC 1993 + (February 16, 1993)
- BTU 1993 + (March 17, 1993)
- ECML 1993 + (April 7, 1993)
- CHI 1993 + (April 29, 1993)
- CCS 1993 + (May 11, 1993)
- FOCS 1993 + (May 11, 1993)
- EuroCrypt 1993 + (May 27, 1993)
- SIGMOD 1993 + (May 28, 1993)
- PODS 1993 + (May 28, 1993)
- LICS 1993 + (June 23, 1993)
- PLDI 1993 + (June 25, 1993)
- ICML 1993 + (June 29, 1993)
- CAV 1993 + (July 1, 1993)
- AAAI 1993 + (July 15, 1993)
- ICS 1993 + (July 22, 1993)
- COLT 1993 + (July 28, 1993)
- ISSAC 1993 + (August 7, 1993)
- PODC 1993 + (August 18, 1993)
- ICPP 1993 + (August 20, 1993)
- VLDB 1993 + (August 27, 1993)
- FCT 1993 + (August 27, 1993)
- TREC 1993 + (September 2, 1993)
- DEXA 1993 + (September 8, 1993)
- EKAW 1993 + (September 10, 1993)
- CIKM 1993 + (November 5, 1993)
- CADE1994 + (January 7, 1994)
- POPL 1994 + (January 21, 1994)
- EDBT 1994 + (February 4, 1994)
- FOGA 1994 + (February 8, 1994)
- DMS 1994 + (February 26, 1994)
- SAC 1994 + (March 8, 1994)
