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 2017 + (January 1, 1970)
- 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 + (March 10, 1973)
- POPL 1975 + (January 22, 1975)
- POPL 1976 + (January 21, 1976)
- POPL 1977 + (January 19, 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)