Programming Systems Lab: Publications by Philipp Hanschke

Saarland University Computer Science

Select author:

1993

Satisfiability of the smallest binary program   (pdf)
Philipp Hanschke, Jörg Würtz
Information Processing Letters


Login to edit


Webmaster, Mon May 30 13:48:30 2016