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
- AISB 2009 +
- CAV 2005 +
- CAV 2010 +
- CGSW 2008 +
- CIB W70 +
- COLT 2012 +
- CSL 2002 +
- DIAGRAMS 2018 +
- DIS 2017 +
- DSN 2007 +
- ESOP 1994 +
- ESOP 2005 +
- ESSCIRC 2008 +
- ETAPS 2005 +
- FASE 2005 +
- FOSSACS 2005 +
- IASCL 2008 +
- ICFP 2009 +
- ICMTS 2008 +
- ICSE 2004 +
- IJCAI-05 +
- IJCAR 2010 +
- INLG 2016 +
- IWAGPR 2017 +
- LAK 2016 +
- LICS 1988 +
- LICS 2010 +
- LOPSTR 2016 +
- NSAD 2016 +
- PKC 2020 +
- PLDI 2014 +
- PPSN 2016 +
- SPECTS 2008 +
- SWAT4LS 2008 +
- TACAS 2005 +
- VLDB 1999 +
- WWW 2006 +
- WoLLIC 2008 +