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
- LICS 1992 + (June 25, 1992)
- CAV 1992 + (July 1, 1992)
- CHI 1992 + (July 5, 1992)
- AAAI 1992 + (July 16, 1992)
- ICS 1992 + (July 24, 1992)
- COLT 1992 + (July 29, 1992)
- FOGA 1992 + (July 29, 1992)
- ISSAC 1992 + (July 29, 1992)
- ICPP 1992 + (August 21, 1992)
- VLDB 1992 + (August 27, 1992)
- OOPSLA 1992 + (October 22, 1992)