Show 10 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 "ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE" Add to list Journal Article A2 open access On strong normalization in proof-graphs for propositional logic Marcela Quispe-Cruz, Edward Haeusler and Lew Gordeew (UGent) (2016) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 323. p.181-196 Add to list Journal Article A2 open access J-Calc : a typed lambda calculus for intuitionistic justification logic Konstantinos Pouliasis and Giuseppe Primiero (UGent) (2014) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 300. p.71-87 Add to list Journal Article A4 open access Aspect-orientation for revitalising legacy business software K De Schutter and Bram Adams (UGent) (2007) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 166. p.63-80 Add to list Conference Paper C1 Using meta-modelling and graph grammars to create modelling environments Juan De Lara Jaramillo, Hans Vangheluwe and Manuel Alfonseca Moreno (2003) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. 72 (3).