Search results for: Sebastian Link
Journal of Computer and System Sciences > 2016 > 82 > 5 > 856-877
Theoretical Computer Science > 2015 > 603 > Complete > 111-131
Annals of Mathematics and Artificial Intelligence > 2015 > 73 > 1-2 > 139-165
Journal of Applied Logic > 2013 > 11 > 3 > 309-327
Journal of Computer and System Sciences > 2012 > 78 > 4 > 1026-1044
Annals of Mathematics and Artificial Intelligence > 2011 > 63 > 3-4 > 213-255
Information and Computation > 2010 > 208 > 5 > 521-544
Annals of Mathematics and Artificial Intelligence > 2007 > 50 > 1-2 > 195-226