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

• ESEC 1987  + (September 9, 1987)
• ASPLOS1987  + (October 5, 1987)
• PODC 1987  + (October 8, 1987)
• CSL 1987  + (October 12, 1987)
• PODS 1988  + (March 21, 1988)
• ESOP 1988  + (March 21, 1988)
• ICS 1988  + (April 7, 1988)
• ISSAC 1988  + (April 7, 1988)
• LICS 1988  + (May 7, 1988)
• ICCV 1988  + (May 12, 1988)
• CADE1988  + (May 23, 1988)
• EuroCrypt 1988  + (May 25, 1988)
• ICML 1988  + (June 12, 1988)
• CHI 1988  + (June 15, 1988)
• PLDI 1988  + (June 22, 1988)
• COLT 1988  + (August 3, 1988)
• PODC 1988  + (August 15, 1988)
• AAAI 1988  + (August 21, 1988)
• VLDB 1988  + (August 29, 1988)
• OOPSLA 1988  + (September 25, 1988)
• OOPSLA 1987  + (September 26, 1988)
• POPL 1988  + (October 1, 1988)
• EWSL 1988  + (October 3, 1988)
• CSL 1988  + (October 3, 1988)
• CC 1988  + (October 10, 1988)

• OOPSLA 1989  + (January 10, 1989)
• PODS 1989  + (March 29, 1989)
• CHI 1989  + (April 30, 1989)
• LICS 1989  + (May 6, 1989)
• ICS 1989  + (May 6, 1989)
• KR 1989  + (May 15, 1989)
• CAV 1989  + (June 12, 1989)
• PLDI 1989  + (June 21, 1989)
• ICML 1989  + (June 26, 1989)
• COLT 1989  + (July 31, 1989)
• PODC 1989  + (August 14, 1989)
• ISSAC 1989  + (August 17, 1989)
• FCT 1989  + (August 21, 1989)
• VLDB 1989  + (August 22, 1989)
• AIME 1989  + (August 29, 1989)
• ESEC 1989  + (September 11, 1989)
• CSL 1989  + (October 2, 1989)
• EuroCrypt 1989  + (October 4, 1989)
• FOCS 1989  + (October 30, 1989)
• POPL 1989  + (November 1, 1989)
• NIPS 1989  + (November 27, 1989)
• EWSL 1989  + (December 4, 1989)
• PODS 1990  + (February 4, 1990)
• CHI 1990  + (April 1, 1990)
• LICS 1990  + (April 6, 1990)