Search results for: Alexander Krauss
Cognitive Science > 46 > 9 > n/a - n/a
Energy Economics > 2016 > 60 > C > 244-254
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 12. Termination > 460-475
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 134-149
IEEE Antennas and Propagation Magazine > 2016 > 58 > 1 > 76 - 88
IZA Journal of Labor & Development > 2015 > 4 > 1 > 1-24
Journal of Automated Reasoning > 2012 > 49 > 1 > 95-106
Journal of Automated Reasoning > 2011 > 47 > 4 > 369-398
IEEE Antennas and Wireless Propagation Letters > 2010 > 9 > 383 - 386
Journal of Automated Reasoning > 2010 > 44 > 4 > 303-336