Show 15 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: parent exact "Logic Colloquim, Proceedings" Add to list Conference Paper C3 open access Combinatory logic, a bridge to verified programs Albert Hoogewijs (UGent) and P. Audenaert (UGent) (2003) Logic Colloquim, Proceedings. Add to list Conference Paper C3 Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic Albert Hoogewijs (UGent) and P. Audenaert (UGent) (2002) Logic Colloquim, Proceedings.