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
- 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)
- 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)
- PODC 1986 + (August 13, 1986)
- AAAI 1986 + (August 15, 1986)
- VLDB 1986 + (August 28, 1986)
- POPL 1987 + (January 23, 1987)
- PODS 1987 + (March 25, 1987)
- EuroCrypt 1987 + (April 15, 1987)
- EWSL 1987 + (May 15, 1987)