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

• IEEE- ICITSC  + (January 1, 1970)
• FEF-AIAM2023  + (January 1, 1970)
• POPL 1973  + (March 10, 1973)
• POPL 1975  + (January 22, 1975)
• POPL 1976  + (January 21, 1976)
• POPL 1977  + (January 19, 1977)
• FCT 1977  + (September 23, 1977)
• POPL 1978  + (January 25, 1978)
• POPL 1979  + (January 31, 1979)
• FCT 1979  + (September 21, 1979)
• POPL 1980  + (January 30, 1980)
• AAAI 1980  + (August 21, 1980)
• CADE1980  + (November 7, 1980)
• POPL 1981  + (January 28, 1981)
• FCT 1981  + (August 28, 1981)
• POPL 1982  + (January 27, 1982)
• EuroCrypt 1982  + (February 4, 1982)
• PODS 1982  + (March 31, 1982)
• CHI 1982  + (May 17, 1982)
• PODC 1982  + (August 20, 1982)
• 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)