publication venue for On a pairwise comparison-based consistent non-numerical ranking. 20:667-676. 2012 Interpolation in practical formal development. 9:231-244. 2001 Relational treatment of term graphs with bound variables. 6:259-303. 1998
has subject area 0101 Pure Mathematics (FoR) 0802 Computation Theory and Mathematics (FoR) General Mathematics (Science Metrix)