Show 5 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: publisher exact "Association for Symbolic Logic" Add to list Conference Paper C1 Analytic combinatorics of the transfinite: a unifying Tauberian perspective Andreas Weiermann (UGent) (2010) Lecture Notes in Logic. 35. p.238-267 Add to list Conference Paper C3 Retraction for the adaptive logic of information update Giuseppe Primiero (UGent) (2009) 15(3). p.365-366 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.