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 1980  + (1980)
• POPL 1980  + (January 28, 1980)
• CADE1980  + (August 7, 1980)
• AAAI 1980  + (August 18, 1980)
• SIGMOD 1981  + (1981)
• POPL 1981  + (January 26, 1981)
• FCT 1981  + (August 24, 1981)
• ICPP 1982  + (1982)
• SIGMOD 1982  + (1982)
• POPL 1982  + (January 25, 1982)
• EuroCrypt 1982  + (March 29, 1982)
• PODS 1982  + (March 29, 1982)
• CHI 1982  + (May 15, 1982)
• CADE1982  + (July 6, 1982)
• PODC 1982  + (August 18, 1982)
• AAAI 1982  + (August 18, 1982)
• ICML 1983  + (1983)
• EuroCrypt 1983  + (1983)
• ICPP 1983  + (1983)
• SIGMOD 1983  + (1983)
• POPL 1983  + (January 24, 1983)
• PODS 1983  + (March 21, 1983)
• PODC 1983  + (August 17, 1983)
• FCT 1983  + (August 21, 1983)
• AAAI 1983  + (August 22, 1983)

• CHI 1983  + (December 12, 1983)

• SIGMOD 1984  + (1984)
• POPL 1984  + (January 15, 1984)
• PODS 1984  + (February 4, 1984)
• CADE1984  + (May 14, 1984)
• AAAI 1984  + (August 6, 1984)
• PODC 1984  + (August 27, 1984)
• EuroCrypt 1984  + (September 4, 1984)
• ICML 1985  + (1985)
• ICPP 1985  + (1985)
• SIGMOD 1985  + (1985)
• POPL 1985  + (January 14, 1985)
• PODS 1985  + (March 25, 1985)
• CHI 1985  + (April 14, 1985)
• PODC 1985  + (May 8, 1985)
• VLDB 1985  + (August 21, 1985)
• EuroCrypt 1985  + (September 4, 1985)
• FCT 1985  + (September 9, 1985)
• ICPP 1986  + (1986)
• OOPSLA 1986  + (1986)
• SIGMOD 1986  + (1986)
• POPL 1986  + (1986)
• EWSL 1986  + (February 3, 1986)
• PODS 1986  + (March 24, 1986)
• CHI 1986  + (April 13, 1986)
• EuroCrypt 1986  + (May 20, 1986)