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

• AAAI 1982  + (August 20, 1982)
• CADE1982  + (September 6, 1982)
• POPL 1983  + (January 26, 1983)
• PODS 1983  + (March 23, 1983)
• AAAI 1983  + (August 26, 1983)
• FCT 1983  + (August 27, 1983)
• CHI 1983  + (December 15, 1983)
• POPL 1984  + (January 18, 1984)
• PODS 1984  + (April 4, 1984)
• CADE1984  + (May 16, 1984)
• AAAI 1994  + (August 4, 1984)
• AAAI 1984  + (August 10, 1984)
• PODC 1983  + (August 19, 1984)
• PODC 1984  + (August 29, 1984)
• EuroCrypt 1984  + (November 4, 1984)
• POPL 1985  + (January 16, 1985)
• PODS 1985  + (March 27, 1985)
• CHI 1985  + (April 18, 1985)
• PODC 1985  + (July 8, 1985)
• VLDB 1985  + (August 23, 1985)
• FCT 1985  + (September 13, 1985)
• EuroCrypt 1985  + (November 4, 1985)
• CADE1986  + (January 8, 1986)
• EWSL 1986  + (February 4, 1986)
• PODS 1986  + (March 26, 1986)

• CHI 1986  + (April 17, 1986)

• EuroCrypt 1986  + (May 22, 1986)
• LICS 1986  + (June 18, 1986)
• PODC 1986  + (August 13, 1986)
• AAAI 1986  + (August 15, 1986)
• VLDB 1986  + (August 28, 1986)
• POPL 1987  + (January 23, 1987)
• PODS 1987  + (March 25, 1987)
• EuroCrypt 1987  + (April 15, 1987)
• EWSL 1987  + (May 15, 1987)
• LICS 1987  + (June 25, 1987)
• PLDI 1987  + (June 26, 1987)
• FCT 1987  + (June 26, 1987)
• AAAI 1987  + (July 17, 1987)
• OOPSLA 1987  + (August 10, 1987)
• CHI 1987  + (September 4, 1987)
• VLDB 1987  + (September 4, 1987)
• ASPLOS1987  + (October 8, 1987)
• ICCV 1987  + (November 7, 1987)
• ICS 1987  + (December 6, 1987)
• PODC 1987  + (December 8, 1987)
• POPL 1988  + (January 13, 1988)
• PODS 1988  + (March 23, 1988)
• CCS 1998  + (May 11, 1988)
• CADE1988  + (May 26, 1988)
• EuroCrypt 1988  + (May 27, 1988)