BiologicalWeb services: Integration, optimization, and reasoning
Benedikt, M Lopez-Serrano, R Tsamoura, E CEUR Workshop Proceedings volume 1718 21-27 (01 Jan 2016)
Complexity of two-variable logic on finite trees
Benaim, S Benedikt, M Charatonik, W Kieroński, E Lenhardt, R Mazowiecki, F Worrell, J ACM Transactions on Computational Logic volume 17 issue 4 (01 Nov 2016)
Subscribe to