Search by property
Jump to navigation
Jump to search
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 1979 + (January 29, 1979)
- FCT 1979 + (September 17, 1979)
- ER 1979 + (December 10, 1979)
- POPL 1980 + (January 28, 1980)
- CADE1980 + (August 7, 1980)
- AAAI 1980 + (August 18, 1980)
- POPL 1981 + (January 26, 1981)
- FCT 1981 + (August 24, 1981)
- ER 1981 + (October 12, 1981)
- FSTTCS 1981 + (December 11, 1981)
- 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)
- POPL 1983 + (January 24, 1983)
- PODS 1983 + (March 21, 1983)
- PODC 1983 + (August 17, 1983)
- FCT 1983 + (August 21, 1983)
- AAAI 1983 + (August 22, 1983)
- CHI 1983 + (December 12, 1983)
- POPL 1984 + (January 15, 1984)
- PODS 1984 + (February 4, 1984)
- CADE1984 + (May 14, 1984)
- AAAI 1984 + (August 6, 1984)
- PODC 1984 + (August 27, 1984)
- EuroCrypt 1984 + (September 4, 1984)
- POPL 1985 + (January 14, 1985)
- PODS 1985 + (March 25, 1985)
- CHI 1985 + (April 14, 1985)
- PODC 1985 + (May 8, 1985)
- VLDB 1985 + (August 21, 1985)