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)