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

• IPEC2023  + (January 1, 1970)
• ICITSC2022  + (January 1, 1970)
• IOP- AMEM2022  + (January 1, 1970)
• IEEE- ICITSC  + (January 1, 1970)
• FEF-AIAM2023  + (January 1, 1970)
• POPL 1973  + (January 10, 1973)
• SIGMOD 1974  + (1974)
• 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)