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
- 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)