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 1975  + (1975)
• POPL 1975  + (January 20, 1975)
• SIGMOD 1976  + (1976)
• POPL 1976  + (January 19, 1976)
• SIGMOD 1977  + (1977)
• POPL 1977  + (January 17, 1977)
• FCT 1977  + (September 19, 1977)
• SIGMOD 1978  + (1978)
• POPL 1978  + (January 23, 1978)
• SIGMOD 1979  + (1979)
• POPL 1979  + (January 29, 1979)
• FCT 1979  + (September 17, 1979)
• ICML 1980  + (1980)
• 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)