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)